research
∙
05/26/2023
Complete Multiparty Session Type Projection with Automata
Multiparty session types (MSTs) are a type-based approach to verifying c...
share
research
∙
02/22/2023
Asynchronous Multiparty Session Type Implementability is Decidable – Lessons Learned from Message Sequence Charts
Multiparty session types (MSTs) provide efficient means to specify and v...
research
∙
08/10/2022
Comparing Channel Restrictions of Communicating State Machines, High-level Message Sequence Charts, and Multiparty Session Types
Communicating state machines provide a formal foundation for distributed...
research
∙
07/08/2021
Generalising Projection in Asynchronous Multiparty Session Types
Multiparty session types (MSTs) provide an efficient methodology for spe...
research
∙
11/13/2019