Process algebras with localities.
From MaRDI portal
A review of the results on process algebras with localities is given. Some of their applications are discussed. For example, if the processes are grouped according to some criterion, the localities associated with these processes will correspond to distribution units. A language for processes with locations is described.NEWLINENEWLINEFor the entire collection see [Zbl 0971.00006].
Recommendations
Cited in
(18)- A theory of processes with localities
- Locality based semantics for process algebras
- A study on team bisimulation and H-team bisimulation for BPP nets
- Nested-unit Petri nets
- A stable non-interleaving early operational semantics for the pi-calculus
- Pure bigraphs: structure and dynamics
- Decidability of performance equivalence for basic parallel processes
- Reversing algebraic process calculi
- Characterising spectra of equivalences for event structures, logically
- A chart semantics for the pi-calculus
- Extensionality of spatial observations in distributed systems
- A Logic for Distributed Higher Order π-Calculus
- Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra
- scientific article; zbMATH DE number 1512709 (Why is no real title available?)
- scientific article; zbMATH DE number 7407797 (Why is no real title available?)
- A stable non-interleaving early operational semantics for the pi-calculus
- A model of actors and grey failures
- MAG\(\pi\): types for failure-prone communication
This page was built for publication: Process algebras with localities.
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2760252)
