Conditionals of some form are incorporated in various algebraic process calculi. What is considered to be conditions and how they are evaluated differs from one case to another. This paper gives an overview of the history of conditionals in algebraic process calculi, including the recent elaborate investigation into the potentialities of conditionals in the setting of ACP. The history of conditionals in algebraic process calculi is remarkable. It shows among other things that the potentialities of conditionals in algebraic process calculi have been underestimated for a long time. The paper ends by mentioning some open problems
We investigate the idea of representing conditional measures as simple measures (possibly with furth...
Process theory started in the 1970's with an emphasis on giving an algebraic treatment of its fundam...
AbstractProcess theory started in the 1970's with an emphasis on giving an algebraic treatment of it...
Conditionals of some form are incorporated in various algebraic process calculi. What is considered ...
AbstractConditionals of some form are incorporated in various algebraic process calculi. What is con...
In a previous paper, we presented several extensions of ACP with conditional expressions, including ...
The authors define the alphabet of finite and infinite terms in ACP/sub tau /, the algebra of commun...
In a previous paper, we presented several extensions of ACP with conditional expressions, including ...
We investigate conditional expressions in the setting of ACP, an algebraic theory about processes. W...
AbstractWe investigate conditional expressions in the setting of ACP, an algebraic theory about proc...
We present ACPc, a process algebra with conditional expressions in which the conditions are taken fr...
We extend the main real time version of ACP presented in [6] with conditionals in which the conditi...
We show that processes defined by equational identities together with conditional rewrite rules in P...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
We investigate the idea of representing conditional measures as simple measures (possibly with furth...
Process theory started in the 1970's with an emphasis on giving an algebraic treatment of its fundam...
AbstractProcess theory started in the 1970's with an emphasis on giving an algebraic treatment of it...
Conditionals of some form are incorporated in various algebraic process calculi. What is considered ...
AbstractConditionals of some form are incorporated in various algebraic process calculi. What is con...
In a previous paper, we presented several extensions of ACP with conditional expressions, including ...
The authors define the alphabet of finite and infinite terms in ACP/sub tau /, the algebra of commun...
In a previous paper, we presented several extensions of ACP with conditional expressions, including ...
We investigate conditional expressions in the setting of ACP, an algebraic theory about processes. W...
AbstractWe investigate conditional expressions in the setting of ACP, an algebraic theory about proc...
We present ACPc, a process algebra with conditional expressions in which the conditions are taken fr...
We extend the main real time version of ACP presented in [6] with conditionals in which the conditi...
We show that processes defined by equational identities together with conditional rewrite rules in P...
Algebraic Theory of Processes provides the first general and systematic introduction to the semantic...
We investigate the idea of representing conditional measures as simple measures (possibly with furth...
Process theory started in the 1970's with an emphasis on giving an algebraic treatment of its fundam...
AbstractProcess theory started in the 1970's with an emphasis on giving an algebraic treatment of it...