Towards Probabilistic Session-Type Monitoring - Coordination Models and Languages Access content directly
Conference Papers Year : 2021

Towards Probabilistic Session-Type Monitoring


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.
Fichier principal
Vignette du fichier
509400_1_En_7_Chapter.pdf (334.91 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-03387845 , version 1 (20-10-2021)





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⟩
21 View
10 Download



Gmail Facebook X LinkedIn More