<  Back to the Polytechnique Montréal portal

Model-checking Web Services Orchestrations using BP-calculus

Faisal Abouzaid and John Mullins

Paper (2009)

An external link is available for this item
Department: Department of Computer Engineering and Software Engineering
PolyPublie URL: https://publications.polymtl.ca/20065/
Conference Title: 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009)
Conference Location: Rhodes, Greece
Conference Date(s): 2009-07-11
Journal Title: Electronic Notes in Theoretical Computer Science (vol. 255)
Publisher: Elsevier
DOI: 10.1016/j.entcs.2009.10.022
Official URL: https://doi.org/10.1016/j.entcs.2009.10.022
Date Deposited: 18 Apr 2023 15:14
Last Modified: 05 Apr 2024 11:03
Cite in APA 7: Abouzaid, F., & Mullins, J. (2009, July). Model-checking Web Services Orchestrations using BP-calculus [Paper]. 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), Rhodes, Greece. Published in Electronic Notes in Theoretical Computer Science, 255. https://doi.org/10.1016/j.entcs.2009.10.022

Statistics

Dimensions

Repository Staff Only

View Item View Item