Foundations of Software Science and Computation Structures
From MaRDI portal
Publication:5899079
DOI10.1007/11690634zbMATH Open1180.68190OpenAlexW2504714231MaRDI QIDQ5899079FDOQ5899079
Authors: Daniele Gorla
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
Recommendations
- The expressive power of indeterminate primitives in asynchronous computation
- On the Expressive Power of Communication Primitives in Parameterised Systems
- Comparing communication primitives via their relative expressive power
- scientific article
- A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms
- scientific article; zbMATH DE number 826300
- Synchrony vs asynchrony in communication primitives
- FM 2005: Formal Methods
- Communication and Synchronization Primitives for Distributed Programs
Cited In (13)
- Linearity, persistence and testing semantics in the asynchronous pi-calculus
- An alternative implementation of communication primitives
- Title not available (Why is that?)
- On the relative expressive power of calculi for mobility
- Towards a Unified Approach to Encodability and Separation Results for Process Calculi
- Symmetric and Asymmetric Asynchronous Interaction
- On the Expressiveness of Forwarding in Higher-Order Communication
- On Synchronous and Asynchronous Interaction in Distributed Systems
- Towards a unified approach to encodability and separation results for process calculi
- On the Expressive Power of Communication Primitives in Parameterised Systems
- Tutorial on separation results in process calculi via leader election problems
- Synchrony vs asynchrony in communication primitives
- Comparing communication primitives via their relative expressive power
Uses Software
This page was built for publication: Foundations of Software Science and Computation Structures
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5899079)