A Rigorous Semantics for BPMN 2.0 Process Diagrams

by Kossak, Felix., Kossak, Felix., Illibauer, Christa., Geist, Verena., Kubovy, Jan., Natschläger, Christine., Ziebermayr, Thomas., Kopetzky, Theodorich., Freudenthaler, Bernhard., Schewe, Klaus-Dieter.
Published 2014