On the monitorability of session types, in theory and practice

Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas

Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-review

11 Downloads (Pure)

Fingerprint

Dive into the research topics of 'On the monitorability of session types, in theory and practice'. Together they form a unique fingerprint.

Mathematics

Computer Science