Citation to this article as recorded by
Zhang, X. and H. Liu, 2011. Formal verification for CCML based web service composition. Inform. Technol. J., 10: 1692-1700. CrossRef |
Citation to this article as recorded by
Formal modeling and verification of cloudâbased web service
composition Concurrency and Computation: Practice and Experience |
Compensation by design Formal Aspects of Computing Vol. 26, Issue 4, 623, 2014 |
Formal Verification for CCML Based Web Service Composition Information Technology Journal Vol. 10, Issue 9, 1692, 2011 |
How to cite this article
Yuanyuan Zhang, Jun Liu, Qiong Tang and Yan Wu, 2011. Modeling Web Services Composition with Timed Pi Calculus. Information Technology Journal, 10: 1194-1200.
DOI: 10.3923/itj.2011.1194.1200
URL: https://scialert.net/abstract/?doi=itj.2011.1194.1200
DOI: 10.3923/itj.2011.1194.1200
URL: https://scialert.net/abstract/?doi=itj.2011.1194.1200