Revisiting Semantics of Interactions for Trace Validity Analysis

von Mahe, Erwan
Veröffentlicht in FASE (23. : 2020 : Online) Fundamental approaches to software engineering (2020)

Equivalence of Denotational and Operational Semantics for Interaction Languages

von Mahe, Erwan
Veröffentlicht in International Symposium on Theoretical Aspects of Software Engineering (16. : 2022 : Cluj-Napoca) Theoretical aspects of software engineering (2022)

Interaction-Based Offline Runtime Verification of Distributed Systems

von Mahe, Erwan
Veröffentlicht in FSEN (10. : 2023 : Teheran; Online) Fundamentals of software engineering (2023)