Applications of Process Algebra
From MaRDI portal
Publication:3999165
DOI10.1017/CBO9780511608841zbMath0716.68001OpenAlexW1501745438MaRDI QIDQ3999165
No author found.
Publication date: 23 January 1993
Full work available at URL: https://doi.org/10.1017/cbo9780511608841
Introductory exposition (textbooks, tutorial papers, etc.) pertaining to computer science (68-01) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Algebraic structures (08A99) Research exposition (monographs, survey articles) pertaining to general algebraic systems (08-02)
Related Items (16)
Branching time and orthogonal bisimulation equivalence ⋮ Radicals and Ideals of Affine Near-Semirings Over Brandt Semigroups ⋮ Focus points and convergent process operators: A proof strategy for protocol verification ⋮ A process calculus with finitary comprehended terms ⋮ Process algebra with language matching ⋮ Wait-free linearization with a mechanical proof ⋮ Divergence and fair testing ⋮ Process algebra with strategic interleaving ⋮ An algebraic verification of a mobile network ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ A brief history of process algebra ⋮ A proof assistant for PSF ⋮ Dormancy-aware timed branching bisimilarity with an application to communication protocol analysis ⋮ A process algebra with distributed priorities ⋮ The compression structure of a process ⋮ A Formalization of Anonymity and Onion Routing
This page was built for publication: Applications of Process Algebra
