Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899079
DOI10.1007/11690634zbMath1180.68190OpenAlexW2504714231MaRDI QIDQ5899079
Publication date: 2 May 2007
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/11690634
Related Items
Towards a unified approach to encodability and separation results for process calculi ⋮ Towards a Unified Approach to Encodability and Separation Results for Process Calculi ⋮ Tutorial on separation results in process calculi via leader election problems ⋮ Symmetric and Asymmetric Asynchronous Interaction ⋮ On Synchronous and Asynchronous Interaction in Distributed Systems ⋮ 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 ⋮ Synchrony vs Asynchrony in Communication Primitives
Uses Software