On the Boundary between Decidability and Undecidability of Asynchronous Session Subtyping

Mario Bravetti, Marco Carbone, Gianluigi Zavattaro

Session types are behavioural types for guaranteeing that concurrent programs are free from basic communication errors. Recent work has shown that asynchronous session subtyping is…