Formalizing Web Service Choreographies
Open Access
- 10 December 2004
- journal article
- Published by Elsevier in Electronic Notes in Theoretical Computer Science
- Vol. 105, 73-94
- https://doi.org/10.1016/j.entcs.2004.05.007
Abstract
No abstract availableKeywords
This publication has 5 references indexed in Scilit:
- Adding roles to CORBA objectsIEEE Transactions on Software Engineering, 2003
- Simulation, verification and automated composition of web servicesPublished by Association for Computing Machinery (ACM) ,2002
- Dynamically Adapting the Behaviour of Software ComponentsPublished by Springer Nature ,2002
- Compatibility and inheritance in software architecturesScience of Computer Programming, 2001
- Protocol specifications and component adaptorsACM Transactions on Programming Languages and Systems, 1997