Emiliano Reynares, Jorge Roa, María Laura Caliusco, Pablo David Villarreal. Formal Semantics for Modeling Collaborative Business Processes Based on Interaction Protocols. In Ernest Teniente, Matthias Weidlich, editors, Business Process Management Workshops - BPM 2017 International Workshops, Barcelona, Spain, September 10-11, 2017, Revised Papers. Volume 308 of Lecture Notes in Business Information Processing, pages 770-781, Springer, 2017. [doi]
Abstract is missing.