On the diversity of asynchronous communication
From MaRDI portal
Publication:315311
DOI10.1007/S00165-016-0379-XzbMATH Open1345.68022OpenAlexW2346504990MaRDI QIDQ315311FDOQ315311
Authors: Florent Chevrou, Aurélie Hurault, Philippe Quéinnec
Publication date: 20 September 2016
Published in: Formal Aspects of Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00165-016-0379-x
Recommendations
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Cites Work
- Introduction to Distributed Algorithms
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- The chemical abstract machine
- On Communicating Finite-State Machines
- A calculus of communicating systems
- CADP 2010: a toolbox for the construction and analysis of distributed processes
- Time, clocks, and the ordering of events in a distributed system
- The causal ordering abstraction and a simple way to implement it
- Synchronous, asynchronous, and causally ordered communication
- Detecting causal relationships in distributed computations: In search of the holy grail
- Distributed Algorithms for Message-Passing Systems
- Formalizing web service choreographies
- Synchronizability for Verification of Asynchronously Communicating Systems
- Mobile ambients
- On the diversity of asynchronous communication
- The PlusCal Algorithm Language
- On the Asynchronous Nature of the Asynchronous π-Calculus
- A generic framework for \(n\)-protocol compatibility checking
- Title not available (Why is that?)
- One logic to use them all
- Title not available (Why is that?)
- Necessary and sufficient conditions on information for causal message ordering and their optimal implementation
- Distributed Computing
- Compatibility and inheritance in software architectures
- A calculus of mobile agents
Cited In (7)
- On the preservation of properties when changing communication models
- Asynchronous communicating cellular automata: formalization, robustness and equivalence
- A modular framework for verifying versatile distributed systems
- Synchronous, asynchronous, and causally ordered communication
- On the diversity of asynchronous communication
- Multiparty half-duplex systems and synchronous communications
- Asynchronous message orderings beyond causality
Uses Software
This page was built for publication: On the diversity of asynchronous communication
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q315311)