Bogdan Aman (Romanian Academy, Institute of Computer Science and A.I.Cuza University, Iasi, Romania ) |
Gabriel Ciobanu (A.I.Cuza University and Romanian Academy, Iasi, Romania) |
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. |
ArXived at: https://dx.doi.org/10.4204/EPTCS.303.7 | bibtex | |
Comments and questions to: eptcs@eptcs.org |
For website issues: webmaster@eptcs.org |