Manifestly Phased Communication via Shared Session Types

Chuta Sano, Stephanie Balzer, Frank Pfenning

Session types denote message protocols between concurrent processes, allowing a type-safe expression of inter-process communication. Although previous work demonstrate a well-defin…