dc.creator | Inverso, Omar | |
dc.creator | Melgratti, Hernan Claudio | |
dc.creator | Padovani, Luca | |
dc.creator | Trubiani, Catia | |
dc.creator | Tuosto, Emilio | |
dc.date.accessioned | 2021-09-30T19:15:02Z | |
dc.date.accessioned | 2022-10-14T21:53:15Z | |
dc.date.available | 2021-09-30T19:15:02Z | |
dc.date.available | 2022-10-14T21:53:15Z | |
dc.date.created | 2021-09-30T19:15:02Z | |
dc.date.issued | 2020-08 | |
dc.identifier | Inverso, Omar; Melgratti, Hernan Claudio; Padovani, Luca; Trubiani, Catia; Tuosto, Emilio; Probabilistic analysis of binary sessions; Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing; Leibniz International Proceedings in Informatics, LIPIcs; 171; 8-2020; 141-1421 | |
dc.identifier | 1868-8969 | |
dc.identifier | http://hdl.handle.net/11336/142154 | |
dc.identifier | CONICET Digital | |
dc.identifier | CONICET | |
dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/4310818 | |
dc.description.abstract | We study a probabilistic variant of binary session types that relate to a class of Finite-State Markov Chains. The probability annotations in session types enable the reasoning on the probability that a session terminates successfully, for some user-definable notion of successful termination. We develop a type system for a simple session calculus featuring probabilistic choices and show that the success probability of well-typed processes agrees with that of the sessions they use. To this aim, the type system needs to track the propagation of probabilistic choices across different sessions. | |
dc.language | eng | |
dc.publisher | Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing | |
dc.relation | info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4230/LIPIcs.CONCUR.2020.14 | |
dc.relation | info:eu-repo/semantics/altIdentifier/url/https://drops.dagstuhl.de/opus/volltexte/2020/12826/ | |
dc.rights | https://creativecommons.org/licenses/by/2.5/ar/ | |
dc.rights | info:eu-repo/semantics/openAccess | |
dc.subject | DEADLOCK FREEDOM | |
dc.subject | PROBABILISTIC CHOICES | |
dc.subject | SESSION TYPES | |
dc.subject | STATIC ANALYSIS | |
dc.title | Probabilistic analysis of binary sessions | |
dc.type | info:eu-repo/semantics/article | |
dc.type | info:ar-repo/semantics/artículo | |
dc.type | info:eu-repo/semantics/publishedVersion | |