OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES

DOI10.1142/S0129054195000196zbMath0843.68060OpenAlexW2070503710MaRDI QIDQ4867409

Ilaria Castellani

Publication date: 13 August 1996

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054195000196

zbMATH Keywords

preorderlocation equivalencelocal history preserving bisimulation

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items (10)

A general conservative extension theorem in process algebras with inequalities ⋮ Nested-unit Petri nets ⋮ A stable non-interleaving early operational semantics for the pi-calculus ⋮ Twenty Years on: Reflections on the CEDISYS Project. Combining True Concurrency with Process Algebra ⋮ Unnamed Item ⋮ Distribution and locality of concurrent systems ⋮ A theory of processes with durational actions ⋮ Distributed processes and location failures ⋮ A calculus of branching processes ⋮ Distributed processes and location failures

This page was built for publication: OBSERVING DISTRIBUTION IN PROCESSES: STATIC AND DYNAMIC LOCALITIES