An overview of probabilistic process algebras and their equivalences
In order to describe probabilistic processes by means of a formal model, some
considerations have to be taken into account. In this paper we present some of the ideas …
considerations have to be taken into account. In this paper we present some of the ideas …
Fair testing revisited: A process-algebraic characterisation of conflicts
This paper studies conflicts from a process-algebraic point of view and shows how they are
related to the testing theory of fair testing. Conflicts have been introduced in the context of …
related to the testing theory of fair testing. Conflicts have been introduced in the context of …
On the Representation of McCarthy's amb in the π-calculus
A Carayol, D Hirschkoff, D Sangiorgi - Electronic Notes in Theoretical …, 2004 - Elsevier
We study the encoding of, the call by name λ-calculus enriched with McCarthy's amb
operator, into the π-calculus. Semantically, amb is a challenging operator, for the fairness …
operator, into the π-calculus. Semantically, amb is a challenging operator, for the fairness …
[PDF][PDF] Causal Process Algebra
S Reeves, D Streader - academia.edu
The classic example of process algebra is the vending machine. But making sure you get
the drink you want from each vending machine is not so easy. We illustrate what the problem …
the drink you want from each vending machine is not so easy. We illustrate what the problem …
Validity checking for quantifier-free first-order logic with equality using substitution of Boolean formulas
A Moritomo, K Hamaguchi, T Kashiwabara - Automated Technology for …, 2004 - Springer
This paper deals with equivalence checking of high-level hardware design descriptions. For
this purpose, we propose a method based on validity checking of the quantifier-free first …
this purpose, we propose a method based on validity checking of the quantifier-free first …