Process algebra with five-valued conditions

MaRDI QIDQ4503951zbMATH OpenFDO

Authors J. A. Bergstra, Alban Ponse

Publication date 14 September 2000

zbMATH Keywords

operational semantics

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Process algebra and conditional composition
• Process algebra with four-valued logic
• Bochvar-McCarthy logic and process algebra
• The five-valued logics: construction and interpretation
• A process algebraic view of linear logic

Cited in

(7)

• Process algebra with propositional signals
• Process algebra and conditional composition
• Belnap's logic and conditional composition
• Process algebra with four-valued logic
• The five-valued logics: construction and interpretation
• Encoding many-valued logic in \lambda-calculus
• Bochvar-McCarthy logic and process algebra

This page was built for publication: Process algebra with five-valued conditions

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