Foundations of Software Science and Computation Structures

DOI10.1007/b95995zbMath1126.68508OpenAlexW3105029025MaRDI QIDQ5308465

Iain Phillips, Maria Grazia Vigliotti

Publication date: 28 September 2007

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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

Related Items (13)

A coalgebraic approach to the semantics of the ambient calculus ⋮ Fair ambients ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ Tutorial on separation results in process calculi via leader election problems ⋮ CCS with priority guards ⋮ Symmetric electoral systems for ambient calculi ⋮ On the computational strength of pure ambient calculi ⋮ Name-passing in an ambient-like calculus and its proof using spatial logic ⋮ Leader election in rings of ambient processes ⋮ Comparing communication primitives via their relative expressive power ⋮ On the Relative Expressive Power of Calculi for Mobility ⋮ Linearity, Persistence and Testing Semantics in the Asynchronous Pi-Calculus ⋮ Matching Systems for Concurrent Calculi

This page was built for publication: Foundations of Software Science and Computation Structures