25 citations · 637 across the 113 of their papers we have counts for
Showing 2015 · cs.LOShow all
2 papers · 2 filters
cs.LO2015★ 1 cited
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…
cs.LO2015★ 1 cited
Evaluation trees for proposition algebra
Jan A. Bergstra, Alban Ponse
Proposition algebra is based on Hoare's conditional connective, which is a ternary connective comparable to if-then-else and used in the setting of propositional logic. Conditional…