Sign in to use this feature.

Years

Between: -

Subjects

remove_circle_outline
remove_circle_outline
remove_circle_outline
remove_circle_outline

Journals

Article Types

Countries / Regions

Search Results (1)

Search Parameters:
Keywords = multiparty session types

Order results
Result details
Results per page
Select all
Export citation of selected articles as:
31 pages, 456 KB  
Article
Safety of Uncertain Session Types with Interval Probability
by Bogdan Aman and Gabriel Ciobanu
Symmetry 2025, 17(2), 218; https://doi.org/10.3390/sym17020218 - 1 Feb 2025
Viewed by 791
Abstract
In this article, we introduce and study a new kind of multiparty session type for a probabilistic process calculus that incorporates two forms of choice: probabilistic and nondeterministic. The main novelty of our approach is the use of interval probabilities in a type [...] Read more.
In this article, we introduce and study a new kind of multiparty session type for a probabilistic process calculus that incorporates two forms of choice: probabilistic and nondeterministic. The main novelty of our approach is the use of interval probabilities in a type system in order to deal with uncertainty in a probabilistic process calculus. We present a decidable proof system that ensures deadlock freedom, type preservation and type safety, even when several types can be assigned to a process. The new typing system represents a conservative extension of the standard typing system based on multiparty session types (removing the probabilities from processes does not affect their well-typedness). We also define a probabilistic bisimulation between processes that are typed by using the same sorting and typing. Full article
(This article belongs to the Section Mathematics)
Show Figures

Figure 1

Back to TopTop