Mostrar el registro sencillo del ítem
dc.contributor.author
Inverso, Omar
dc.contributor.author
Melgratti, Hernan Claudio
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.contributor.author
Padovani, Luca
dc.contributor.author
Trubiani, Catia
dc.contributor.author
Tuosto, Emilio
dc.date.available
2021-09-30T19:15:02Z
dc.date.issued
2020-08
dc.identifier.citation
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.issn
1868-8969
dc.identifier.uri
http://hdl.handle.net/11336/142154
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.format
application/pdf
dc.language.iso
eng
dc.publisher
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
dc.rights
info:eu-repo/semantics/openAccess
dc.rights.uri
https://creativecommons.org/licenses/by/2.5/ar/
dc.subject
DEADLOCK FREEDOM
dc.subject
PROBABILISTIC CHOICES
dc.subject
SESSION TYPES
dc.subject
STATIC ANALYSIS
dc.subject.classification
Ciencias de la Computación
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
Ciencias de la Computación e Información
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.subject.classification
CIENCIAS NATURALES Y EXACTAS
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
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
dc.date.updated
2021-04-28T21:01:13Z
dc.journal.volume
171
dc.journal.pagination
141-1421
dc.journal.pais
Alemania
![Se ha confirmado la validez de este valor de autoridad por un usuario](/themes/CONICETDigital/images/authority_control/invisible.gif)
dc.description.fil
Fil: Inverso, Omar. Gran Sasso Science Institute
; Italia
dc.description.fil
Fil: Melgratti, Hernan Claudio. Universidad de Buenos Aires; Argentina. Consejo Nacional de Investigaciones Científicas y Técnicas. Oficina de Coordinación Administrativa Ciudad Universitaria. Instituto de Investigación en Ciencias de la Computación; Argentina
dc.description.fil
Fil: Padovani, Luca. Università di Torino; Italia
dc.description.fil
Fil: Trubiani, Catia. Gran Sasso Science Institute
; Italia
dc.description.fil
Fil: Tuosto, Emilio. Gran Sasso Science Institute
; Italia
dc.journal.title
Leibniz International Proceedings in Informatics, LIPIcs
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/doi/http://dx.doi.org/10.4230/LIPIcs.CONCUR.2020.14
dc.relation.alternativeid
info:eu-repo/semantics/altIdentifier/url/https://drops.dagstuhl.de/opus/volltexte/2020/12826/
Archivos asociados