Foundations of Software Science and Computation Structures

DOI10.1007/11690634MaRDI QIDQ5899079zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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; zbMATH DE number 1820087
• 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

(16)

• Linearity, persistence and testing semantics in the asynchronous pi-calculus
• An alternative implementation of communication primitives
• scientific article; zbMATH DE number 1820087 (Why is no real title available?)
• On the relative expressive power of calculi for mobility
• Towards a Unified Approach to Encodability and Separation Results for Process Calculi
• The expressive power of indeterminate primitives in asynchronous computation
• On the Expressiveness of Forwarding in Higher-Order Communication
• Towards a unified approach to encodability and separation results for process calculi
• On Synchronous and Asynchronous Interaction in Distributed Systems
• On the Expressive Power of Communication Primitives in Parameterised Systems
• Tutorial on separation results in process calculi via leader election problems
• On the expressiveness of symmetric communication
• Symmetric and asymmetric asynchronous interaction
• On the expressiveness of intensional communication
• Synchrony vs asynchrony in communication primitives
• Comparing communication primitives via their relative expressive power

Describes a project that uses

Uses Software

• PiDuce

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)