(1998) Information Processing Letters, volume 67, pp. 95 - 103
(Article)
Abstract
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. show less
Download/Full Text
The full text of this publication is not available.
Keywords: Process algebra, Three-valued logic, Guarded command, Design of algorithms, Concurrency, Formal languages