A Map of Asynchronous Communication Models

von Chevrou, Florent
Veröffentlicht in World Congress on Formal Methods (3. : 2019 : Porto, Portugal) Formal methods ; Part 2 (2020)

A Direct Formal Semantics for BPMN Time-related Constructs

von Houhou, Sara
Veröffentlicht in ENASE (16. : 2021 : Online) ENASE 2021 (2021)