A pi-calculus based semantics for WS-BPEL
Top Cited Papers
- 1 January 2007
- journal article
- Published by Elsevier in The Journal of Logic and Algebraic Programming
- Vol. 70 (1) , 96-118
- https://doi.org/10.1016/j.jlap.2006.05.007
Abstract
No abstract availableKeywords
This publication has 19 references indexed in Scilit:
- Service-oriented computing: key concepts and principlesIEEE Internet Computing, 2005
- A Framework for Generic Error Handling in Business ProcessesElectronic Notes in Theoretical Computer Science, 2004
- A calculus of mobile processes, IPublished by Elsevier ,2004
- Basic Theory of Reduction Congruence forTwo Timed Asynchronous π-CalculiPublished by Springer Nature ,2004
- Web services orchestration and choreographyComputer, 2003
- Contracts and typesCommunications of the ACM, 2003
- Solos in concertMathematical Structures in Computer Science, 2003
- The CORBA Activity Service Framework for supporting extended transactionsSoftware: Practice and Experience, 2003
- A Calculus for Long-Running TransactionsPublished by Springer Nature ,2003
- Functions as processesMathematical Structures in Computer Science, 1992