A modular framework for verifying versatile distributed systems
From MaRDI portal
Publication:2011199
DOI10.1016/j.jlamp.2019.05.008zbMath1435.68191OpenAlexW2961180912WikidataQ127589294 ScholiaQ127589294MaRDI QIDQ2011199
Aurélie Hurault, Florent Chevrou, Philippe Quéinnec
Publication date: 28 November 2019
Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)
Full work available at URL: https://oatao.univ-toulouse.fr/24923/1/chevrou_24923.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)
Related Items (2)
Preface to the special issue on formal approaches to parallel and distributed systems 2018 ⋮ A modular framework for verifying versatile distributed systems
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- On the diversity of asynchronous communication
- A generic framework for \(n\)-protocol compatibility checking
- A hierarchy of communication models for message sequence charts
- Priorities in process algebras
- CCS with priority choice
- A modular framework for verifying versatile distributed systems
- The Heard-Of model: computing in distributed systems with benign faults
- PSync: a partially synchronous language for fault-tolerant distributed algorithms
- Deciding choreography realizability
- Distributed network protocols
- The PlusCal Algorithm Language
- On Communicating Finite-State Machines
- Time, clocks, and the ordering of events in a distributed system
- Occam—A programming language for multiprocessor systems
- Introduction to Distributed Algorithms
- Synchronous, asynchronous, and causally ordered communication
- Active and Concurrent Topology Maintenance
- Distributed Computing
This page was built for publication: A modular framework for verifying versatile distributed systems
