Kleene's Three-Valued Logic and Process Algebra

                      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.