Semantic Barbs and Biorthogonality

DOI10.1007/978-3-540-71389-0_22zbMath1195.68073OpenAlexW1594360230MaRDI QIDQ5758049

Paweł Sobociński, Vladimiro Sassone, Julian Rathke

Publication date: 7 September 2007

Published in: Foundations of Software Science and Computational Structures (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-71389-0_22

Mathematics Subject Classification ID

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

Related Items (10)

Towards a unified approach to encodability and separation results for process calculi ⋮ Deriving structural labelled transitions for mobile ambients ⋮ A timed calculus for wireless systems ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ A taxonomy of process calculi for distribution and mobility ⋮ On Convergence-sensitive Bisimulation and the Embedding of CCS in Timed CCS ⋮ Concurrency cannot be observed, asynchronously ⋮ Reactive Systems, Barbed Semantics, and the Mobile Ambients ⋮ On the Relative Expressive Power of Calculi for Mobility ⋮ Deriving Bisimulation Congruences in the Presence of Negative Application Conditions

This page was built for publication: Semantic Barbs and Biorthogonality