Towards Probabilistic Session-Type Monitoring
Programming Languages
2021-07-20 v1
Abstract
We present a tool-based approach for the runtime analysis of communicating processes grounded on probabilistic binary session types. We synthesise a monitor out of a probabilistic session type where each choice point is decorated by a probability distribution. The monitor observes the execution of a process, infers its probabilistic behaviour and issues warnings when the observed behaviour deviates from the one specified by the probabilistic session type.
Cite
@article{arxiv.2107.08729,
title = {Towards Probabilistic Session-Type Monitoring},
author = {Christian Bartolo Burlò and Adrian Francalanza and Alceste Scalas and Catia Trubiani and Emilio Tuosto},
journal= {arXiv preprint arXiv:2107.08729},
year = {2021}
}