A formal approach for the analysis of BPMN collaboration models

Flavio Corradini, Fabrizio Fornari, Andrea Polini, Barbara Re 0001, Francesco Tiezzi 0001, Andrea Vandin. A formal approach for the analysis of BPMN collaboration models. Journal of Systems and Software, 180:111007, 2021. [doi]

Abstract

Abstract is missing.