An Operational Semantics of BPMN Collaboration

Flavio Corradini, Andrea Polini, Barbara Re, Francesco Tiezzi. An Operational Semantics of BPMN Collaboration. In Christiano Braga, Peter Csaba Ölveczky, editors, Formal Aspects of Component Software - 12th International Conference, FACS 2015, Niterói, Brazil, October 14-16, 2015, Revised Selected Papers. Volume 9539 of Lecture Notes in Computer Science, pages 161-180, Springer, 2015. [doi]


Abstract is missing.