Towards Probabilistic Session-Type Monitoring.

Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto

Browse the full Coordination paper archive.