A Process Semantics for BPMN (International Conference on Formal Engineering Methods, 2008)

(untitled) - Wong, P; Gibbons, J