On Testing Message-Passing Components

von Coto, Alex
Veröffentlicht in ISoLA (9. : 2020 : Online) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2020)

Choreographic Development of Message-Passing Applications: A Tutorial

von Coto, Alex
Veröffentlicht in COORDINATION (22. : 2020 : Online) Coordination models and languages (2020)

A Prototype for Data Race Detection in CSeq 3: (Competition Contribution)

von Coto, Alex
Veröffentlicht in TACAS (28. : 2022 : München) Tools and algorithms for the construction and analysis of systems ; Part 2 (2022)

On Formal Choreographic Modelling: A Case Study in EU Business Processes

von Coto, Alex
Veröffentlicht in ISoLA (11. : 2022 : Rhodos) Leveraging applications of formal methods, verification and validation ; Part 1: Verification principles (2022)