Faisal Abouzaid and John Mullins
Paper (2008)
An external link is available for this item
| Department: | Department of Computer Engineering and Software Engineering |
|---|---|
| PolyPublie URL: | https://publications.polymtl.ca/18759/ |
| Conference Title: | 5th International Workshop on Formal Aspects of Component Software (FACS 2008) |
| Conference Location: | Malaga, Spain |
| Conference Date(s): | 2008-09-10 - 2008-09-12 |
| Journal Title: | Electronic Notes in Theoretical Computer Science (vol. 260) |
| Publisher: | Elsevier |
| DOI: | 10.1016/j.entcs.2009.12.029 |
| Official URL: | https://doi.org/10.1016/j.entcs.2009.12.029 |
| Date Deposited: | 18 Apr 2023 15:13 |
| Last Modified: | 08 Apr 2025 02:05 |
| Cite in APA 7: | Abouzaid, F., & Mullins, J. (2008, September). Formal Specification of Correlation in WS Orchestrations Using BP-calculus [Paper]. 5th International Workshop on Formal Aspects of Component Software (FACS 2008), Malaga, Spain. Published in Electronic Notes in Theoretical Computer Science, 260. https://doi.org/10.1016/j.entcs.2009.12.029 |
|---|---|
Statistics
Dimensions
Repository Staff Only
|
View Item |
