Implementing Session Centered Calculi.

Lorenzo Bettini, Rocco De Nicola, Michele Loreti

Browse the full Coordination paper archive.