\textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
DOI10.1145/2837614.2837650zbMATH Open1347.68036OpenAlexW2285931649MaRDI QIDQ2828285FDOQ2828285
Authors: Cezara Drăgoi, Damien Zufferey, Thomas A. Henzinger 
Publication date: 24 October 2016
Published in: Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1145/2837614.2837650
Recommendations
- Parameterized model checking of synchronous distributed algorithms by abstraction
- scientific article; zbMATH DE number 222692
- Synthesis of self-stabilising and Byzantine-resilient distributed systems
- Formal Verification of Distributed Algorithms
- Synthesis of distributed algorithms with parameterized threshold guards
Theory of programming languages (68N15) Reliability, testing and fault tolerance of networks and computer systems (68M15) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)
Cited In (11)
- Quorum tree abstractions of consensus protocols
- Characterizing Consensus in the Heard-Of Model
- Derivation of heard-of predicates from elementary behavioral patterns
- Synchronizing the asynchronous
- A modular framework for verifying versatile distributed systems
- Protocol combinators for modeling, testing, and execution of distributed systems
- Cardinality constraints for arrays (decidability results and applications)
- Survey on Parameterized Verification with Threshold Automata and the Byzantine Model Checker
- \(\text{Para}^2\): parameterized path reduction, acceleration, and SMT for reachability in threshold-guarded distributed algorithms
- Title not available (Why is that?)
- Title not available (Why is that?)
Uses Software
This page was built for publication: \textsc{PSync}: a partially synchronous language for fault-tolerant distributed algorithms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2828285)
