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.