Probabilities in Session Types

Probabilities in Session Types

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 t...

Full description

Bibliographic Details
Main Authors: Bogdan Aman, Gabriel Ciobanu
Format: Article
Language:English
Published: Open Publishing Association 2019-09-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1909.01748v1
id doaj-5dd30dcfdc90466785c8bb3d6f0d320f
record_format Article
spelling doaj-5dd30dcfdc90466785c8bb3d6f0d320f2020-11-25T01:36:21ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802019-09-01303Proc. FROM 20199210610.4204/EPTCS.303.7:15Probabilities in Session TypesBogdan Aman0Gabriel Ciobanu1 Romanian Academy, Institute of Computer Science and A.I.Cuza University, Iasi, Romania 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.http://arxiv.org/pdf/1909.01748v1
collection DOAJ
language English
format Article
sources DOAJ
author Bogdan Aman
Gabriel Ciobanu
spellingShingle Bogdan Aman
Gabriel Ciobanu
Probabilities in Session Types
Electronic Proceedings in Theoretical Computer Science
author_facet Bogdan Aman
Gabriel Ciobanu
author_sort Bogdan Aman
title Probabilities in Session Types
title_short Probabilities in Session Types
title_full Probabilities in Session Types
title_fullStr Probabilities in Session Types
title_full_unstemmed Probabilities in Session Types
title_sort probabilities in session types
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2019-09-01
description 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.
url http://arxiv.org/pdf/1909.01748v1
work_keys_str_mv AT bogdanaman probabilitiesinsessiontypes
AT gabrielciobanu probabilitiesinsessiontypes
_version_ 1725063547411496960

Similar Items