Register Machine Based Processes (2007)
Jan Bergstra Alban, Jan A. Bergstra, Alban Ponse
. We consider the process algebra axiom system ACP extended with two recursive operations: the binary Kleene star , dened by x y = x(x y) + y, and the push-down operation $, dened by x $ y = x((x $...
Kleene's Three-Valued Logic and Process Algebra (1998)
Jan Bergstra Alban, Jan A. Bergstra, Alban Ponse
We propose a combination of Kleene's three-valued logic and ACP process algebra via the guarded command construct. We present an operational semantics in SOS-style, and a completeness result....