EXPRESSing Session Types

Ilaria Castellani, Ornela Dardha, Luca Padovani +1

To celebrate the 30th edition of EXPRESS and the 20th edition of SOS we overview how session types can be expressed in a type theory for the standard $\pi$-calculus by means of a sui…