Skip to Main content Skip to Navigation
New interface
Conference papers

Towards Probabilistic Session-Type Monitoring

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 augmented with 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.
Complete list of metadata
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Wednesday, October 20, 2021 - 9:02:21 AM
Last modification on : Friday, August 5, 2022 - 12:36:07 PM
Long-term archiving on: : Friday, January 21, 2022 - 7:18:19 PM


 Restricted access
To satisfy the distribution rights of the publisher, the document is embargoed until : 2024-01-01

Please log in to resquest access to the document


Distributed under a Creative Commons Attribution 4.0 International License



Christian Bartolo Burlò, Adrian Francalanza, Alceste Scalas, Catia Trubiani, Emilio Tuosto. Towards Probabilistic Session-Type Monitoring. 23th International Conference on Coordination Languages and Models (COORDINATION), Jun 2021, Valletta, Malta. pp.106-120, ⟨10.1007/978-3-030-78142-2_7⟩. ⟨hal-03387845⟩



Record views