TY  - RPRT
TI  - Towards Probabilistic Session-Type Monitoring
AU  - Christian Bartolo Burlò
AU  - Adrian Francalanza
AU  - Alceste Scalas
AU  - Catia Trubiani
AU  - Emilio Tuosto
PY  - 2021
DO  - 10.1007/978-3-030-78142-2_7
UR  - https://arxiv.org/abs/2107.08729
ID  - 2107.08729
ER  -