Kleene's three-valued logic and process algebra
From MaRDI portal
Publication:293327
DOI10.1016/S0020-0190(98)00083-0zbMath1338.68200MaRDI QIDQ293327
Publication date: 9 June 2016
Published in: Information Processing Letters (Search for Journal in Brave)
Full work available at URL: http://www.sciencedirect.com/science/article/pii/S0020019098000830?np=y
process algebra; design of algorithms; three-valued logic; formal languages; concurrency; guarded command
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B50: Many-valued logic
Related Items
Process algebra with four-valued logic, A generalization of ACP using Belnap's logic, Combining programs and state machines