7 citations · 22 across the 6 of their papers we have counts for
1 paper · 1 filter
Bogdan Aman, Gabriel Ciobanu
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 probabi…