INVESTIGADORES
MELGRATTI Hernan Claudio
artículos
Título:
Probabilistic analysis of binary sessions
Autor/es:
INVERSO, OMAR; MELGRATTI, HERNÁN; PADOVANI, LUCA; TRUBIANI, CATIA; TUOSTO, EMILIO
Revista:
Leibniz International Proceedings in Informatics, LIPIcs
Editorial:
Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
Referencias:
Año: 2020 vol. 171 p. 141 - 1421
ISSN:
1868-8969
Resumen:
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.
