Kleene's Three-Valued Logic and Process Algebra

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. © 1998 Elsevier Science B.V. All rights reserved.

• Type: Journal
• Year: 1998
• Where: IPL
• Authors: Jan A. Bergstra, Alban Ponse
• Keywords: ACP Process, IPL 1998, Operational Semantics, Science B.V