A Process Semantics for BPMN
the theory and practice of concurrency .