Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations

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]

Authors

Flavio Corradini

This author has not been identified. Look up 'Flavio Corradini' in Google

Andrea Morichetta 0001

This author has not been identified. Look up 'Andrea Morichetta 0001' in Google

Chiara Muzi

This author has not been identified. Look up 'Chiara Muzi' in Google

Barbara Re 0001

This author has not been identified. Look up 'Barbara Re 0001' in Google

Francesco Tiezzi

This author has not been identified. Look up 'Francesco Tiezzi' in Google