A First-Order Logic Semantics for Communication-Parametric BPMN Collaborations.

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec

Browse the full BPM paper archive.