Process algebra: A unifying approach

DOI10.1007/11423348_3MaRDI QIDQ5709379zbMATH OpenOpenAlexFDO

Authors C. A. R. Hoare

Publication date 29 November 2005

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136154

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 3978362
• scientific article; zbMATH DE number 781171
• Introduction to process algebra
• A unified model for nets and process algebras
• An algebra of processes

Cited in

(29)

• Special issue: Process algebra
• Process algebra with action dependencies
• An ``abstract process approach to algebraic dynamic architecture description
• Modular specification of process algebras
• Process algebras for systems diagnosis.
• CSP-CASL -- a new integration of process algebra and algebraic specification
• On the complexity of equation solving in process algebra
• On the unification of process semantics: equational semantics
• Process algebra having inherent choice: revised semantics for concurrent systems
• Process algebra for modal transition systemses
• Process Algebra for Parallel and Distributed Processing
• Structured CSP – A Process Algebra as an Institution
• scientific article; zbMATH DE number 4037177 (Why is no real title available?)
• Unification and matching in process algebras
• scientific article; zbMATH DE number 139606 (Why is no real title available?)
• The importance of the left merge operator in process algebra
• Stochastic process algebra: From an algebraic formalism to an architectural description language
• Using a process algebra to control B OPERATIONS
• scientific article; zbMATH DE number 1497863 (Why is no real title available?)
• Fibred models of processes: Discrete, continuous, and hybrid systems (extended abstract)
• Quantifying the dynamic behavior of process algebras
• scientific article; zbMATH DE number 781171 (Why is no real title available?)
• scientific article; zbMATH DE number 937812 (Why is no real title available?)
• Interpreted Systems Semantics for Process Algebra with Identity Annotations
• scientific article; zbMATH DE number 7319030 (Why is no real title available?)
• A Generic Process Algebra
• Translating Hardware Process Algebras into Standard Process Algebras: Illustration with CHP and LOTOS
• A uniform reduction equivalence for process calculi
• Underspecification for a simple process algebra of recursive processes.

This page was built for publication: Process algebra: A unifying approach

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