Using π-calculus for Formal Modeling and Verification of WS-CDL Choreographies
Article in IEEE Transactions on Services Computing (April 2017)
The most recent citing publications are shown below. View all 2 publications that cite this research output on Dimensions.
Article in IEEE Transactions on Services Computing (April 2017)
Book chapter (January 2006)