A generalization of ACP using Belnap's logic

DOI10.1016/J.JLAP.2006.08.006zbMath1106.68075OpenAlexW2095251987MaRDI QIDQ864509

Mark B. van der Zwaag, Alban Ponse

Publication date: 9 February 2007

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2006.08.006

zbMATH Keywords

process algebraconditional composition

Mathematics Subject Classification ID

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

Related Items (1)

Belnap's logic and conditional composition

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Kleene's three-valued logic and process algebra
• Axiomatizing prefix iteration with silent steps
• Belnap's logic and conditional composition
• Process algebra for synchronous communication
• Process algebra with four-valued logic
• A propositional logic with 4 values: true, false, divergent and meaningless
• New Computational Paradigms
• On notation for ordinal numbers
• On the Forms of the Predicates in the Theory of Constructive Ordinals

This page was built for publication: A generalization of ACP using Belnap's logic