<  Back to the Polytechnique Montréal portal

A Calculus for Generation, Verification and Refinement of BPEL Specifications

Faisal Abouzaid and John Mullins

Paper (2007)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/21223/
Conference Title: 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007)
Conference Location: Venice, Italy
Conference Date(s): 2007-12-14
Journal Title: Electronic Notes in Theoretical Computer Science (vol. 200, no. 3)
Publisher: Elsevier
DOI: 10.1016/j.entcs.2008.04.092
Official URL: https://doi.org/10.1016/j.entcs.2008.04.092
Date Deposited: 18 Apr 2023 15:15
Last Modified: 05 Apr 2024 11:04
Cite in APA 7: Abouzaid, F., & Mullins, J. (2007, December). A Calculus for Generation, Verification and Refinement of BPEL Specifications [Paper]. 3rd International Workshop on Automated Specification and Verification of Web Systems (WWV 2007), Venice, Italy. Published in Electronic Notes in Theoretical Computer Science, 200(3). https://doi.org/10.1016/j.entcs.2008.04.092

Statistics

Dimensions

Repository Staff Only

View Item View Item