Precise subty** for asynchronous multiparty sessions
Session subty** is a cornerstone of refinement of communicating processes: A process
implementing a session type (ie, a communication protocol) T can be safely used whenever …
implementing a session type (ie, a communication protocol) T can be safely used whenever …
Safe session-based asynchronous coordination in rust
Z Cutner, N Yoshida - Coordination Models and Languages: 23rd IFIP WG …, 2021 - Springer
Rust is a popular systems language focused on performance and reliability, with an
emphasis on providing “fearless concurrency”. Message passing has become a widely-used …
emphasis on providing “fearless concurrency”. Message passing has become a widely-used …
Deconfined global types for asynchronous sessions
Multiparty sessions with asynchronous communications and global types play an important
role for the modelling of interaction protocols in distributed systems. In designing such …
role for the modelling of interaction protocols in distributed systems. In designing such …
CAMP: cost-aware multiparty session protocols
This paper presents CAMP, a new static performance analysis framework for message-
passing concurrent and distributed systems, based on the theory of multiparty session types …
passing concurrent and distributed systems, based on the theory of multiparty session types …
Session types with arithmetic refinements
A Das, F Pfenning - ar** as communicating automata refinement
We study the relationship between session types and behavioural contracts, representing
Communicating Finite State Machines (CFSMs), under the assumption that processes …
Communicating Finite State Machines (CFSMs), under the assumption that processes …
A sound algorithm for asynchronous session subty** and its implementation
Session types, types for structuring communication between endpoints in distributed
systems, are recently being integrated into mainstream programming languages. In practice …
systems, are recently being integrated into mainstream programming languages. In practice …
Fair refinement for asynchronous session types
Session types are widely used as abstractions of asynchronous message passing systems.
Refinement for such abstractions is crucial as it allows improvements of a given component …
Refinement for such abstractions is crucial as it allows improvements of a given component …
Asynchronous Subty** by Trace Relaxation
Session subty** answers the question of whether a program in a communicating system
can be safely substituted for another, when their communication behaviours are described …
can be safely substituted for another, when their communication behaviours are described …