A Linear Account of Session Types in the Pi Calculus.

Marco Giunti, Vasco Thudichum Vasconcelos

Browse the full CONCUR paper archive.