A Sound Algorithm for Asynchronous Session Subtyping and its Implementation

Mario Bravetti, Marco Carbone, Julien Lange +2

Session types, types for structuring communication between endpoints in distributed systems, are recently being integrated into mainstream programming languages. In practice, a ver…