A Very Gentle Introduction to Multiparty Session Types

von Yoshida, Nobuko
Veröffentlicht in ICDCIT (16. : 2020 : Bhubaneswar) Distributed computing and internet technology (2020)

Safe Session-Based Asynchronous Coordination in Rusk

von Cutner, Zak
Veröffentlicht in DisCoTec (16. : 2021 : Online) Coordination Models and Languages (2021)

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)

Communicating Finite State Machines and an Extensible Toolchain for Multiparty Session Types

von Yoshida, Nobuko
Veröffentlicht in FCT (23. : 2021 : Online) Fundamentals of computation theory (2021)

EMTST: Engineering the Meta-theory of Session Types

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

Event Structures for the Reversible Early Internal π-Calculus

von Graversen, Eva
Veröffentlicht in RC (12. : 2020 : Online) Reversible computation (2020)

Implementing Multiparty Session Types in Rust

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

Rollback Recovery in Session-Based Programming

von Mezzina, Claudio Antares
Veröffentlicht in International Conference on Coordination Models and Languages (25. : 2023 : Lissabon) Coordination models and languages (2023)

Programming languages and systems : 30th European Symposium on Programming, ESOP 2021, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Veröffentlicht 2021

Towards a Formal Account for Software Transactional Memory

von Medic, Doriana
Veröffentlicht in RC (12. : 2020 : Online) Reversible computation (2020)

Special issue: PLACES 2016

Veröffentlicht 2017

Formal techniques for distributed objects, components, and systems : 39th IFIP WG 6.1 international conference, FORTE 2019, held as part of the 14th International Federated Confe...

Veröffentlicht 2019