A generalization of ACP using Belnap's logic

DOI10.1016/J.ENTCS.2005.12.102MaRDI QIDQ5262974zbMATH OpenOpenAlexFDO

Authors Alban Ponse, Mark B. van der Zwaag

Publication date 10 July 2015

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.entcs.2005.12.102

zbMATH Keywords

many-valued logicprocess algebraBelnap's logicchoiceconditional compositionACP

Mathematics Subject Classification ID

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

Recommendations

• A generalization of ACP using Belnap's logic
• Belnap's logic and conditional composition
• Process algebra with four-valued logic
• Process algebra and conditional composition
• Bochvar-McCarthy logic and process algebra

Cites work

• scientific article; zbMATH DE number 3659568 (Why is no real title available?)
• scientific article; zbMATH DE number 46957 (Why is no real title available?)
• scientific article; zbMATH DE number 590999 (Why is no real title available?)
• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• A generalization of ACP using Belnap's logic
• A propositional logic with 4 values: true, false, divergent and meaningless
• Kleene's three-valued logic and process algebra
• On notation for ordinal numbers
• Process algebra for synchronous communication
• Process algebra with four-valued logic

Cited in

(7)

• Belnap's logic and conditional composition
• A generalization of ACP using Belnap's logic
• A generalization of ACP using Belnap's logic
• The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\)
• Splitting bisimulations and retrospective conditions
• Process algebra and conditional composition
• The \(B_{4}\)-valued propositional Belnap-Dunn logic

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

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