ST4MP: A Blueprint of Multiparty Session Typing for Multilingual Programming

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

Safe Sessions of Channel Actions in Clojure: A Tour of the Discourje Project

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

Balanced-By-Construction Regular and w-Regular Languages

von Edixhoven, Luc
Veröffentlicht in DLT (25. : 2021 : Porto, Portugal) Developments in Language Theory (2021)

Discourje: Runtime Verification of Communication Protocols in Clojure

von Hamers, Ruben
Veröffentlicht in TACAS (26. : 2020 : Online) Tools and algorithms for the construction and analysis of systems ; Part 1 (2020)

Exploring Type-Level Bisimilarity towards More Expressive Multiparty Session Types

von Jongmans, Sung-Shik
Veröffentlicht in ESOP (29. : 2020 : Online) Programming languages and systems (2020)

A Predicate Transformer for Choreographies: Computing Preconditions in Choreographic Programming

von Jongmans, Sung-Shik
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)

Formal aspects of component software : 19th international conference, FACS 2023, virtual event, October 19-20, 2023 : revised selected papers

Veröffentlicht 2024

Selected and extended papers from FACS 2019

Veröffentlicht 2021-2022

Coordination models and languages : 25th IFIP WG 6.1 international conference, COORDINATION 2023 : held as part of the 18th international federated conference on distributed comp...

Veröffentlicht 2023