A Theory of Communicating Sequential Processes
Journal of the ACM (JACM)
Algebraic laws for nondeterminism and concurrency
Journal of the ACM (JACM)
Communications of the ACM
On the consistency of Koomen's fair abstraction rule
Theoretical Computer Science
Global renaming operators in concrete process algebra
Information and Computation
Process algebra
A process specification formalism based on static COLD
Algebraic methods II
Bisimulation through probabilistic testing
Information and Computation
Process algebra with propositional signals
ACP '95 Proceedings from the international workshop on Algebra of communicating processes
Process algebra and conditional composition
Information Processing Letters
Handbook of Process Algebra
Proof Theory for muCRL: A Language for Processes with Data
Proceedings of the International Workshop on Semantics of Specification Languages (SoSL)
Axiomatising ST-Bisimulation Equivalence
PROCOMET '94 Proceedings of the IFIP TC2/WG2.1/WG2.2/WG2.3 Working Conference on Programming Concepts, Methods and Calculi
Process Algebra with Backtracking
A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium
Process algebra for hybrid systems
Theoretical Computer Science - Process algebra
Strong splitting bisimulation equivalence
CALCO'05 Proceedings of the First international conference on Algebra and Coalgebra in Computer Science
Model theory for process algebra
Processes, Terms and Cycles
Thread Algebra with Multi-Level Strategies
Fundamenta Informaticae
Distributed strategic interleaving with load balancing
Future Generation Computer Systems
Maurer computers for pipelined instruction processing†
Mathematical Structures in Computer Science
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
A thread calculus with molecular dynamics
Information and Computation
Maurer Computers with Single-Thread Control
Fundamenta Informaticae
A Process Calculus with Finitary Comprehended Terms
Theory of Computing Systems
On the Behaviours Produced by Instruction Sequences under Execution
Fundamenta Informaticae
Hi-index | 0.00 |
We investigate conditional expressions in the setting of ACP, an algebraic theory about processes. We introduce ACPc, an extension of ACP with conditional expressions in which the conditions are taken from a free Boolean algebra over a set of generators, and also its main models, called full splitting bisimilation models. We add two simple mechanisms for condition evaluation to ACPc; and we show their connection with state operators and signal emission, mechanisms from other extensions of ACP usable for condition evaluation. To allow for looking back on conditions under which preceding actions have been performed, we add a retrospection operator on conditions to ACPc. The choice of conditions forces us to introduce a new variant of bisimulation. However, without the generality implied by that choice, it would not have been possible to extend ACPc with retrospection. The addition of retrospection is a basic way to increase expressiveness.