TY  - RPRT
TI  - On the Monitorability of Session Types, in Theory and Practice (Extended Version)
AU  - Christian Batrolo Burlò
AU  - Adrian Francalanza
AU  - Alceste Scalas
PY  - 2021
DO  - 10.4230/lipics.ecoop.2021.22
UR  - https://arxiv.org/abs/2105.06291
ID  - 2105.06291
ER  -