| Bochvar-McCarthy Logic and Process Algebra (1998) | |||||||||||||
Abstract | |||||||||||||
| We propose a combination of Bochvar's strict three-valued logic, McCarthy's sequential three-valued logic, and process algebra via the conditional guard 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 conditional guard construct and the proposed logic. | |||||||||||||
Details der Publikation | |||||||||||||
| |||||||||||||