Process algebra with four-valued logic
From MaRDI portal
Publication:4443411
DOI10.1080/11663081.2000.10510987zbMath1036.68067MaRDI 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
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