A calculus of mobile processes. I
From MaRDI portal
Publication:1198548
DOI10.1016/0890-5401(92)90008-4zbMath0752.68036WikidataQ56019902 ScholiaQ56019902MaRDI QIDQ1198548
Publication date: 16 January 1993
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/0890-5401(92)90008-4
process algebra; mobility; processes; labeled transition system; calculus of communicating systems; strong bisimilarity; strong equivalence; distinctions
68Q10: Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.)
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Cites Work
- Parametric channels via label expressions in CCS
- Algebra of communicating processes with abstraction
- A calculus of mobile processes. II
- Full abstraction in the lazy lambda calculus
- A fully abstract denotational semantics for the calculus of higher-order communicating systems
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item