A Semantic Deconstruction of Session Types.

Massimo Bartoletti, Alceste Scalas, Roberto Zunino

Browse the full CONCUR paper archive.