Kleene's three-valued logic and process algebra

DOI10.1016/S0020-0190(98)00083-0zbMATH Open1338.68200MaRDI QIDQ293327FDOQ293327

Authors: J. A. Bergstra, Alban Ponse 

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

zbMATH Keywords

concurrencyformal languagesprocess algebradesign of algorithmsguarded commandthree-valued logic

Mathematics Subject Classification ID

Many-valued logic (03B50) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Structured operational semantics and bisimulation as a congruence
• Process algebra for synchronous communication
• Ten Years of Hoare's Logic: A Survey—Part I
• Lattices With Involution
• On notation for ordinal numbers
• A typed logic of partial functions reconstructed classically
• Process algebra with propositional signals
• A Theory of Communicating Sequential Processes
• Process Algebra
• Programming as a Discipline of Mathematical Nature
• A propositional logic with 4 values: true, false, divergent and meaningless
• Title not available (Why is that?)
• A logic covering undefinedness in program proofs

Cited In (7)

• Process algebra with four-valued logic
• An algebraic expression of finite horizon optimal control algorithm for stochastic logical dynamical systems
• A generalization of ACP using Belnap's logic
• Combining programs and state machines
• Title not available (Why is that?)
• A generalization of ACP using Belnap's logic
• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)

This page was built for publication: Kleene's three-valued logic and process algebra

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q293327)