Imprecise Probability for Multiparty Session Types in Process Algebra

arXiv2002.08175MaRDI QIDQ6335136FDOQ6335136

Publication date: 19 February 2020

Abstract: In this paper we introduce imprecise probability for session types. More exactly, we use a probabilistic process calculus in which both nondeterministic external choice and probabilistic internal choice are considered. We propose the probabilistic multiparty session types able to codify the structure of the communications by using some imprecise probabilities given in terms of lower and upper probabilities. We prove that this new probabilistic typing system is sound, as well as several other results dealing with both classical and probabilistic properties. The approach is illustrated by a simple example inspired by survey polls.

This page was built for publication: Imprecise Probability for Multiparty Session Types in Process Algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6335136)