Process algebra and conditional composition
From MaRDI portal
Publication:1607116
DOI10.1016/S0020-0190(01)00216-2zbMath1003.68091MaRDI QIDQ1607116
Publication date: 25 July 2002
Published in: Information Processing Letters (Search for Journal in Brave)
68Q55: Semantics in the theory of computing
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
03B50: Many-valued logic
Related Items
Safe reasoning with logic LTS, Combining programs and state machines, Belnap's logic and conditional composition, Splitting bisimulations and retrospective conditions
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Transition system specifications with negative premises
- Process algebra for synchronous communication
- Laws of programming
- Process Algebra
- Guarded commands, nondeterminacy and formal derivation of programs
- Process algebra with four-valued logic
- A propositional logic with 4 values: true, false, divergent and meaningless
- On notation for ordinal numbers
- Bochvar-McCarthy logic and process algebra