On the Monitorability of Session Types, in Theory and Practice. Bartolo Burlò, C., Francalanza, A., & Scalas, A. In 35th European Conference on Object-Oriented Programming, ECOOP 2021, 2021. To appear.
bibtex   
@inproceedings{BartoloBurloECOOP2021,
	author = {Bartolo Burl{\`{o}}, Christian and Francalanza, Adrian and Scalas, Alceste},
	booktitle = {35th European Conference on Object-Oriented Programming, {ECOOP} 2021},
	date-added = {2021-05-10 15:12:31 +0200},
	date-modified = {2021-05-10 15:12:31 +0200},
	note = {To appear.},
	title = {On the {M}onitorability of {S}ession {T}ypes, in {T}heory and {P}ractice},
	year = {2021}}

Downloads: 0