Speaker / Predavač : Prof. Mariangiola Dezani-Ciancaglini

Title / Naslov: General Session Types

Abstract / Abstrakt:

We present a streamlined theory of session types based on a simple yet general and expressive formalism whose main features are semantically characterized and where each design choice is semantically justified. We formally define the semantics of session types and use it to define the subsessioning relation. We give a coinductive characterization of subsessioning and describe algorithms to decide all the key relations defined in the article. We then apply the theory to statically ensure progress for a simple pi-based process calculus, give examples, and discuss related work.