Probabilities in Session Types
Logic in Computer Science
2019-09-05 v1
Abstract
This paper deals with the probabilistic behaviours of distributed systems described by a process calculus considering both probabilistic internal choices and nondeterministic external choices. For this calculus we define and study a typing system which extends the multiparty session types in order to deal also with probabilistic behaviours. The calculus and its typing system are motivated and illustrated by a running example.
Cite
@article{arxiv.1909.01748,
title = {Probabilities in Session Types},
author = {Bogdan Aman and Gabriel Ciobanu},
journal= {arXiv preprint arXiv:1909.01748},
year = {2019}
}
Comments
In Proceedings FROM 2019, arXiv:1909.00584