Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quéinnec. A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations. In Thomas T. Hildebrandt, Boudewijn F. van Dongen, Maximilian Röglinger, Jan Mendling, editors, Business Process Management - 17th International Conference, BPM 2019, Vienna, Austria, September 1-6, 2019, Proceedings. Volume 11675 of Lecture Notes in Computer Science, pages 52-68, Springer, 2019. [doi]
Abstract is missing.