Bochvar-McCarthy Logic and Process Algebra

                      Jan A. Bergstra
                        Alban Ponse

We propose a combination of Bochvar's strict three-valued logic,
McCarthy's sequential three-valued logic, and process algebra via the
guarded command construct.  This combination entails the introduction
of a new constant meaningless in process algebra.  We present an
operational semantics in SOS-style, and a completeness result for ACP
with guarded command and the proposed logic.