Please use this identifier to cite or link to this item:
https://www.um.edu.mt/library/oar/handle/123456789/86000
Title: | Towards probabilistic session-type monitoring |
Other Titles: | Coordination Models and Languages. COORDINATION 2021. Lecture Notes in Computer Science, vol. 12717 |
Authors: | Bartolo Burlò, Christian Francalanza, Adrian Scalas, Alceste Trubiani, Catia Tuosto, Emilio |
Keywords: | Software engineering Computer software -- Verification Object monitors (Computer software) Probabilities -- Data processing |
Issue Date: | 2021 |
Publisher: | Springer |
Citation: | Bartolo Burlò, C., Francalanza, A., Scalas, A., Trubiani, C., & Tuosto, E. (2021). Towards probabilistic session-type monitoring. 16th International Federated Conference on Distributed Computing Techniques, DisCoTec 2021, Valletta. 106-120. |
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. |
URI: | https://www.um.edu.mt/library/oar/handle/123456789/86000 |
Appears in Collections: | Scholarly Works - FacICTCS |
Files in This Item:
File | Description | Size | Format | |
---|---|---|---|---|
Towards Probabilistic Session-Type.pdf Restricted Access | 379.31 kB | Adobe PDF | View/Open Request a copy |
Items in OAR@UM are protected by copyright, with all rights reserved, unless otherwise indicated.