2020/02/19 by Bogdan Aman, Aman, Bogdan, Gabriel Ciobanu +1
Computer Science · Mathematics · #Computer science #FOS: Computer and information sciences #FOS: Mathematics #Formal Methods in Verification #Logic in Computer Science (cs.LO) #Logic, Reasoning, and Knowledge #Logic, programming, and type systems #Probability (math.PR) #Process (computing) #Process calculus #Programming language #Session (web analytics) #Theoretical computer science #World Wide Web #cs.LO #math.PR
paper · pdf · doi:10.48550/arxiv.2002.08175
arxiv created 2020/02/19 · openalex publication_date 2020/02/19 · arxiv updated 2020/02/20 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.