On Distributability in Process Calculi

DOI10.1007/978-3-642-37036-6_18zbMath1381.68215OpenAlexW2134322412MaRDI QIDQ5326293

Uwe Nestmann, Goltz, Ursula, Kirstin Peters

Publication date: 5 August 2013

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-37036-6_18

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (18)

On distributability ⋮ On the validity of encodings of the synchronous in the asynchronous \(\pi\)-calculus ⋮ Encodability criteria for quantum based systems ⋮ Coupled similarity: the first 32 years ⋮ Comparing the expressiveness of the \(\pi \)-calculus and CCS ⋮ Psi-calculi revisited: connectivity and compositionality ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Distributability of mobile ambients ⋮ Unnamed Item ⋮ Automatic distributed code generation from formal models of asynchronous processes interacting by multiway rendezvous ⋮ Full abstraction for expressiveness: history, myths and facts ⋮ On the relative expressiveness of higher-order session processes ⋮ On the Relative Expressiveness of Higher-Order Session Processes ⋮ The Expressive Power of Monotonic Parallel Composition ⋮ Unnamed Item

This page was built for publication: On Distributability in Process Calculi