Process algebra and conditional composition

DOI10.1016/S0020-0190(01)00216-2MaRDI QIDQ1607116zbMATH OpenOpenAlexFDO

Authors Alban Ponse, J. 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

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

Recommendations

• scientific article; zbMATH DE number 1507231
• Process algebra with four-valued logic
• Bochvar-McCarthy logic and process algebra
• A generalization of ACP using Belnap's logic
• Process algebra with propositional signals

Cites work

• A propositional logic with 4 values: true, false, divergent and meaningless
• Bochvar-McCarthy logic and process algebra
• Guarded commands, nondeterminacy and formal derivation of programs
• scientific article; zbMATH DE number 2024293 (Why is no real title available?)
• scientific article; zbMATH DE number 1507231 (Why is no real title available?)
• scientific article; zbMATH DE number 794263 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• scientific article; zbMATH DE number 3322506 (Why is no real title available?)
• scientific article; zbMATH DE number 3359806 (Why is no real title available?)
• Laws of programming
• On notation for ordinal numbers
• Process Algebra
• Process algebra for synchronous communication
• Process algebra with four-valued logic
• Transition system specifications with negative premises

Cited in

(17)

• Process algebra with propositional signals
• Process algebra with action dependencies
• Combining programs and state machines
• Belnap's logic and conditional composition
• Splitting bisimulations and retrospective conditions
• scientific article; zbMATH DE number 992012 (Why is no real title available?)
• Evaluation trees for proposition algebra
• A Strongly Complete Formalisation of a 5-Valued Propositional Calculus
• scientific article; zbMATH DE number 4037177 (Why is no real title available?)
• Process algebra with four-valued logic
• scientific article; zbMATH DE number 1507231 (Why is no real title available?)
• Contradiction-Tolerant Process Algebra with Propositional Signals
• A generalization of ACP using Belnap's logic
• Safe reasoning with logic LTS
• Bochvar-McCarthy logic and process algebra
• Preferential choice and coordination conditions
• A generalization of ACP using Belnap's logic

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

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