Well-structuredness, safeness and soundness: A formal classification of BPMN collaborations
Research article (Journal of Logical and Algebraic Methods in Programming, 2020) · cited 16× · AI/ML