A modular framework for verifying versatile distributed systems

DOI10.1016/J.JLAMP.2019.05.008zbMATH Open1435.68191OpenAlexW2961180912WikidataQ127589294 ScholiaQ127589294MaRDI QIDQ2011199FDOQ2011199

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

Recommendations

• Verifying the correctness of distributed systems via mergeable parallelism
• On the diversity of asynchronous communication
• Protocol combinators for modeling, testing, and execution of distributed systems
• Modular reasoning for message-passing programs
• scientific article; zbMATH DE number 2087417

zbMATH Keywords

distributed systemsasynchronous communicationcompatibility checkingmulticast

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Distributed systems (68M14)

Cites Work

• Introduction to Distributed Algorithms
• Title not available (Why is that?)
• Distributed network protocols
• Deciding choreography realizability
• On Communicating Finite-State Machines
• Priorities in process algebras
• Time, clocks, and the ordering of events in a distributed system
• Synchronous, asynchronous, and causally ordered communication
• Formalizing web service choreographies
• On the diversity of asynchronous communication
• The PlusCal Algorithm Language
• A generic framework for \(n\)-protocol compatibility checking
• Title not available (Why is that?)
• Distributed Computing
• The Heard-Of model: computing in distributed systems with benign faults
• Title not available (Why is that?)
• CCS with priority choice
• Active and Concurrent Topology Maintenance
• A hierarchy of communication models for message sequence charts
• \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
• A modular framework for verifying versatile distributed systems
• Occam—A programming language for multiprocessor systems

Cited In (4)

• Preface to the special issue on formal approaches to parallel and distributed systems 2018
• A modular framework for verifying versatile distributed systems
• Theorem Proving in Higher Order Logics
• Title not available (Why is that?)

Uses Software

• SPIN
• PlusCal
• PSync
• Verdi
• Horus

This page was built for publication: A modular framework for verifying versatile distributed systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2011199)