Asynchronous and Synchronous Mixed Sessions in Session Types - Lecture 30

Explore the intricacies of asynchronous and synchronous mixed sessions in this 35-minute conference talk presented by Kirstin Peters and Nobuko Yoshida at ACM SIGPLAN. Delve into the world of session types, which provide a flexible programming style for structuring interaction and guaranteeing safe, consistent composition of distributed processes. Examine the limitations of traditional session types with one-directional input and output guarded choices, and discover how they fall short of the pi-calculus's full expressive power. Learn about the recent proposal of binary session types with mixed choices (CMV+) and the surprising findings from the EXPRESS/SOS'22 paper regarding its limitations. Investigate the challenges of extending synchronous mixed sessions to asynchronous environments with FIFO queues, and understand the potential pitfalls that can compromise type and communication safety.

[ST30] Asynchronous and Synchronous Mixed Sessions