Locality based semantics for process algebras

DOI10.1007/s002360050086zbMath0877.68081OpenAlexW1977652281MaRDI QIDQ1357807

Rocco De Nicola, Flavio Corradini

Publication date: 8 December 1997

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s002360050086

zbMATH Keywords

distributed equivalencelocality equivalence

Mathematics Subject Classification ID

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

Related Items

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