"Checking the realizability of BPMN 2.0 choreographies."

Pascal Poizat, Gwen Salaün (2012)
a service of Schloss Dagstuhl - Leibniz Center for Informatics