On the Monitorability of Session Types, in Theory and Practice.

Christian Bartolo Burl, Adrian Francalanza, Alceste Scalas

Browse the full ECOOP paper archive.