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 is missing.