Process algebra and conditional composition

DOI10.1016/S0020-0190(01)00216-2zbMath1003.68091OpenAlexW2150065998MaRDI QIDQ1607116

Alban Ponse, Jan A. Bergstra

Publication date: 25 July 2002

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0020-0190(01)00216-2

zbMATH Keywords

process algebra

Mathematics Subject Classification ID

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

Related Items (4)

Belnap's logic and conditional composition ⋮ Safe reasoning with logic LTS ⋮ Splitting bisimulations and retrospective conditions ⋮ Combining programs and state machines

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

This page was built for publication: Process algebra and conditional composition