Communication écrite (2008)
Accéder à ce document
Lien externe
Ce document n'est pas archivé dans PolyPublie, mais peut être consulté chez l'éditeur officiel
Département:
Adresse URL de PolyPublie:
Nom de la conférence:
5th International Workshop on Formal Aspects of Component Software (FACS 2008)
Lieu de la conférence:
Malaga, Spain
Date(s) de la conférence:
2008-09-10 - 2008-09-12
Titre de la revue
:
Electronic Notes in Theoretical Computer Science
(
vol.
260
)
Maison d'édition:
Elsevier
URL officielle:
OAI:
oai:publications.polymtl.ca:18759
ORCID
Date du dépôt:
18 avr. 2023 15:13
Dernière modification:
14 oct. 2026 11:21
Citer en APA 7:
Abouzaid, F., & Mullins, J. (septembre 2008). Formal Specification of Correlation in WS Orchestrations Using BP-calculus [Communication écrite]. 5th International Workshop on Formal Aspects of Component Software (FACS 2008), Malaga, Spain. Publié dans Electronic Notes in Theoretical Computer Science, 260. https://doi.org/10.1016/j.entcs.2009.12.029
Statistiques
Dimensions
