Process algebra with four-valued logic

DOI10.1080/11663081.2000.10510987zbMath1036.68067MaRDI QIDQ4443411

Alban Ponse, Jan A. Bergstra

Publication date: 13 January 2004

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://dspace.library.uu.nl/handle/1874/21541

zbMATH Keywords

conditional guard construct; conditional composition

Mathematics Subject Classification ID

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

03B50: Many-valued logic

Related Items

Encoding many-valued logic in $\lambda$-calculus, A Generalization of ACP Using Belnap's Logic, Bochvar-McCarthy logic and process algebra, A generalization of ACP using Belnap's logic, Process algebra and conditional composition, The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\), Belnap's logic and conditional composition, The B4-valued propositional Belnap-Dunn logic1

Cites Work

• Unnamed Item
• Unnamed Item
• Kleene's three-valued logic and process algebra
• Transition system specifications with negative premises
• A logic covering undefinedness in program proofs
• Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule
• Process algebra with guards: Combining hoare logic with process algebra
• A typed logic of partial functions reconstructed classically
• \(Ntyft/ntyxt\) rules reduce to \(n\)tree rules
• Process algebra for synchronous communication
• A Theory of Communicating Sequential Processes
• Laws of programming
• Ten Years of Hoare's Logic: A Survey—Part I
• Guarded commands, nondeterminacy and formal derivation of programs
• Axiomatizations for the perpetual loop in process algebra
• A propositional logic with 4 values: true, false, divergent and meaningless
• On notation for ordinal numbers
• Bochvar-McCarthy logic and process algebra