Formal Verification of BPEL4WS Business Collaborations

Publisher Website

1 January 2004

book chapter
Published by Springer Nature

p. 76-85
https://doi.org/10.1007/978-3-540-30077-9_8

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Business process choreography for b2b collaboration
IEEE Internet Computing, 2004
E-business process modeling: the next big step
Computer, 2002
Simulation, verification and automated composition of web services
Published by Association for Computing Machinery (ACM) ,2002