Formalisations and applications of BPMN

Peter Y. H. Wong, Jeremy Gibbons. Formalisations and applications of BPMN. Science of Computer Programming, 76(8):633-650, 2011. [doi]

Abstract

Abstract is missing.