Welcome to the Jungle: A Subjective Guide to Mobile Process Calculi
From MaRDI portal
Publication:5756619
DOI10.1007/11817949_4zbMath1151.68548MaRDI QIDQ5756619
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
68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
Related Items
Unnamed Item, Unnamed Item, Full abstraction for expressiveness: history, myths and facts, Comparing the expressiveness of the \(\pi \)-calculus and CCS, Fair ambients, Theory of interaction, On the expressiveness of interaction, Comparing communication primitives via their relative expressive power, Towards a unified approach to encodability and separation results for process calculi, Counting nondeterministic computations, A thesis for interaction, Replacement freeness: a criterion for separating process calculi, Breaking symmetries, Unnamed Item, Towards a Unified Approach to Encodability and Separation Results for Process Calculi, A Look Around the Corner: The Pi-Calculus