Process algebra with four-valued logic
From MaRDI portal
Publication:4443411
DOI10.1080/11663081.2000.10510987zbMath1036.68067OpenAlexW1993428528MaRDI QIDQ4443411
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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Many-valued logic (03B50)
Related Items (8)
A generalization of ACP using Belnap's logic ⋮ The B4-valued propositional Belnap-Dunn logic1 ⋮ The \(\mathbf{B}_4\)-valued propositional logic with unary logical connectives \(\sim_1/\sim_2/\neg\) ⋮ Belnap's logic and conditional composition ⋮ Bochvar-McCarthy logic and process algebra ⋮ Encoding many-valued logic in $\lambda$-calculus ⋮ A Generalization of ACP Using Belnap's Logic ⋮ Process algebra and conditional composition
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
This page was built for publication: Process algebra with four-valued logic
