In this paper we analyze the semantics of a higher-order functional language with concurrent threads, monadic IO and synchronizing variables as in Concurrent Haskell. To …
L Padovani - … Conference on Coordination Languages and Models, 2011 - Springer
The standard subtyping relation used in dyadic session type theories may compromise the liveness of multi-party sessions. In this paper we define a fair subtyping relation for multi …
Seeking a general framework for reasoning about and comparing programming languages, we derive a new view of Milner's CCS. We construct a category E of'plays', and a …
S Ware, R Malik - arXiv preprint arXiv:1108.0230, 2011 - arxiv.org
This paper proposes a way to effectively compare the potential of processes to cause conflict. In discrete event systems theory, two concurrent systems are said to be in conflict if …
R Barbuti, DR Cacciagrano… - arXiv preprint arXiv …, 2011 - arxiv.org
Testing equivalence was originally defined by De Nicola and Hennessy in a process algebraic setting (CCS) with the aim of defining an equivalence relation between processes …