A model for BPEL-like languages
- 1 February 2007
- journal article
- research article
- Published by Springer Nature in Frontiers of Computer Science in China
- Vol. 1 (1) , 9-19
- https://doi.org/10.1007/s11704-007-0002-7
Abstract
No abstract availableKeywords
This publication has 16 references indexed in Scilit:
- A pi-calculus based semantics for WS-BPELThe Journal of Logic and Algebraic Programming, 2007
- Towards the Semantics and Verification of BPEL4WSElectronic Notes in Theoretical Computer Science, 2006
- A semantics for web services authenticationTheoretical Computer Science, 2005
- From Theory to Practice in Transactional Composition of Web ServicesPublished by Springer Nature ,2005
- Executable Semantics for Compensating CSPPublished by Springer Nature ,2005
- web π at WorkLecture Notes in Computer Science, 2005
- A Process Compensation LanguagePublished by Springer Nature ,2000
- A Calculus for Cryptographic Protocols: The Spi CalculusInformation and Computation, 1999
- On the security of public key protocolsIEEE Transactions on Information Theory, 1983
- Communicating sequential processesCommunications of the ACM, 1978