| Kleene's Three-Valued Logic and Process Algebra (1998) | |||||||||||||||||
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. 1998 Elsevier Science B.V. All rights reserved. Keywords: Process algebra; Three-valued logic; Guarded command; Design of algorithms; Concurrency; Formal languages 1. Introduction In considering algorithms or programs in an operational manner, there is ample motivation to include a third truth value next to T (true) and F (false). For some illustrative references, see, e.g., [4,13]. Evaluation of the condition in a conditional construct, such as # in if # then P else P , for some program P may turn out divergent, or be distinguished as meaningless (e.g., a type clash, or division by zero). In such a case one certainly does not want to consider P and if # then P else P as equal. Typically, the principle of the excluded middle--- tertium non datur---is not anymore acceptable. Of course, if # th... | |||||||||||||||||
Details der Publikation | |||||||||||||||||
| |||||||||||||||||