Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi

DOI10.1007/11817949_4zbMath1151.68548OpenAlexW2140231005MaRDI QIDQ5756619

Uwe Nestmann

Publication date: 4 September 2007

Published in: CONCUR 2006 – Concurrency Theory (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (16)

Fair ambients ⋮ Theory of interaction ⋮ Comparing the expressiveness of the \(\pi \)-calculus and CCS ⋮ Breaking symmetries ⋮ Unnamed Item ⋮ Replacement freeness: a criterion for separating process calculi ⋮ Unnamed Item ⋮ Towards a unified approach to encodability and separation results for process calculi ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ On the expressiveness of interaction ⋮ Full abstraction for expressiveness: history, myths and facts ⋮ Comparing communication primitives via their relative expressive power ⋮ Unnamed Item ⋮ A Look Around the Corner: The Pi-Calculus ⋮ Counting nondeterministic computations ⋮ A thesis for interaction

This page was built for publication: Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi