A Rigorous Semantics for BPMN 2.0 Process Diagrams
2015
Rigorous Methods in Theory and Practice
2026
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