Session Types for Orchestration Charts.

Alessandro Fantechi, Elie Najm

Browse the full Coordination paper archive.