Correctness checking for BPMN collaborations with sub-processes

Flavio Corradini, Andrea Morichetta 0001, Andrea Polini, Barbara Re 0001, Lorenzo Rossi 0001, Francesco Tiezzi. Correctness checking for BPMN collaborations with sub-processes. Journal of Systems and Software, 166:110594, 2020. [doi]

Abstract

Abstract is missing.