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
∙
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
∙
10/12/2020
Multiparty Motion Coordination: From Choreographies to Robotics Programs
We present a programming model and typing discipline for complex multi-r...
research
∙
02/04/2019
Paracosm: A Language and Tool for Testing Autonomous Driving Systems
Systematic testing of autonomous vehicles operating in complex real-worl...
research
∙
09/16/2018