Approximate Synchrony: An Abstraction for Distributed Almost-Synchronous Systems
No abstract available.
Related papers
- Pretend synchrony: synchronous verification of asynchronous distributed programs POPL 2019
- SureDistrib: Verifying Almost-Sure Termination of Composite Asynchronous Byzantine Protocols PLDI 2026
- Programming at the edge of synchrony OOPSLA 2020
- Iterating on multiple collections in synchrony JFP 2022
- Asynchrony versus bulk-synchrony for a generalized N-body problem from genomics PPoPP 2021
- N-synchronous Kahn networks: a relaxed model of synchrony for real-time systems POPL 2006
- Exploiting Synchrony and Symmetry in Relational Verification CAV 2018
- Applicative Programming and Digital Design POPL 1984