A Rigorous Semantics for BPMN 2.0 Process Diagrams
2015
Logic, Computation and Rigorous Methods
2021
Model and Data Engineering
2019
Transactions on Large-Scale Data- and Knowledge-Centered Systems XXX
2016
New Trends in Databases and Information Systems
2016
Abstract State Machines, Alloy, B, TLA, VDM, and Z
2016