A modular framework for verifying versatile distributed systems
type: Item
instance of: scholarly article
title: A modular framework for verifying versatile distributed systems
zbMATH Open document ID: 1435.68191
author: Florent Chevrou
author: Aurélie Hurault
author: Philippe Quéinnec
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2019-11-28T00:00:00Z
full work available at URL: chevrou 24923.pdf
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68M14
zbMATH DE Number: 7138307
zbMATH Keywords: distributed systems
zbMATH Keywords: asynchronous communication
zbMATH Keywords: multicast
zbMATH Keywords: compatibility checking
describes a project that uses: SPIN
describes a project that uses: PlusCal
describes a project that uses: PSync
describes a project that uses: Horus
describes a project that uses: Verdi
MaRDI profile type: Publication
OpenAlex ID: W2961180912
cites work: Q4727412
cites work: Deciding choreography realizability
cites work: Formalizing web service choreographies
cites work: On Communicating Finite-State Machines
cites work: Synchronous, asynchronous, and causally ordered communication
cites work: The Heard-Of model: computing in distributed systems with benign faults
cites work: Priorities in process algebras
cites work: On the diversity of asynchronous communication
cites work: CCS with priority choice
cites work: \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
cites work: A generic framework for \(n\)-protocol compatibility checking
cites work: A hierarchy of communication models for message sequence charts
cites work: Occam—A programming language for multiprocessor systems
cites work: Distributed Computing
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: Q4934623
cites work: The PlusCal Algorithm Language
cites work: Active and Concurrent Topology Maintenance
cites work: Q3126969
cites work: Distributed network protocols
cites work: Introduction to Distributed Algorithms
Wikidata QID: Q127589294
DOI: 10.1016/J.JLAMP.2019.05.008
description: scientific article; zbMATH DE number 7138307