Flavio Corradini, Andrea Morichetta 0001, Chiara Muzi, Barbara Re 0001, Francesco Tiezzi. Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations. J. Log. Algebr. Meth. Program., 119:100630, 2021. [doi]
Abstract is missing.