| Title | Journal | Journal Categories | Citations | Publication Date |
|---|---|---|---|---|
| On checking equivalence of simulation scripts | 2021 | |||
| Conflict vs causality in event structures | 2021 | |||
| Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations | 2021 | |||
| On the group memory complexity of extended finite automata over groups | 2020 | |||
| Replacement freeness: a criterion for separating process calculi | 2020 |