Applications of Process Algebra

DOI10.1017/CBO9780511608841MaRDI QIDQ3999165zbMATH OpenOpenAlexFDO

Authors

Publication date 23 January 1993

Full work available at URL https://doi.org/10.1017/cbo9780511608841

zbMATH Keywords

algebra of communicating processesprocess algebraProcess Algebra

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02) Algebraic structures (08A99) Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Process Algebra
• scientific article; zbMATH DE number 1412988
• Process algebra: equational theories of communicating processes. With forewords by Tony Hoare, Robin Milner and Jan Bergstra.

Cited in

(26)

• The compression structure of a process
• An algebra for process creation
• An algebraic verification of a mobile network
• A process algebra with distributed priorities
• Focus points and convergent process operators: A proof strategy for protocol verification
• Process algebra with language matching
• ACP '95, international workshop on Algebra of communicating processes. Eindhoven, Netherlands, May 17--18, 1995
• Special issue: Process algebra
• A brief history of process algebra
• Branching time and orthogonal bisimulation equivalence
• Process algebra with strategic interleaving
• Ensuring liveness properties of distributed systems: open problems
• I-delaporte process and applications
• Radicals and Ideals of Affine Near-Semirings Over Brandt Semigroups
• Process Algebra for Parallel and Distributed Processing
• A process calculus with finitary comprehended terms
• scientific article; zbMATH DE number 48630 (Why is no real title available?)
• Process Algebra
• scientific article; zbMATH DE number 1487746 (Why is no real title available?)
• Divergence and fair testing
• scientific article; zbMATH DE number 858832 (Why is no real title available?)
• scientific article; zbMATH DE number 1412988 (Why is no real title available?)
• Wait-free linearization with a mechanical proof
• A formalization of anonymity and onion routing
• A proof assistant for PSF
• Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis

This page was built for publication: Applications of Process Algebra

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