Contradiction-tolerant process algebra with propositional signals

J. A. Bergstra, C. A. Middelburg

In a previous paper, an ACP-style process algebra was proposed in which propositions are used as the visible part of the state of processes and as state conditions under which proc…