 | Monter d'un niveau |
Abouzaid, F., & Mullins, J. (juillet 2009). Model-checking Web Services Orchestrations using BP-calculus [Communication écrite]. 8th International Workshop on the Foundations of Coordination Languages and Software Architectures (FOCLASA 2009), Rhodes, Greece. Publié dans Electronic Notes in Theoretical Computer Science, 255. Lien externe
