Modelling Asynchrony with a Synchronous Model
Abstract elided by the publisher.
Related papers
- On the Completeness of Verifying Message Passing Programs Under Bounded Asynchrony CAV 2018
- Two sides of the same coin: session types and game semantics: a synchronous side and an asynchronous side POPL 2019
- PSync: a partially synchronous language for fault-tolerant distributed algorithms POPL 2016
- Asynchrony versus bulk-synchrony for a generalized N-body problem from genomics PPoPP 2021
- A model for reasoning about JavaScript promises OOPSLA 2017
- Improving parallelism and locality with asynchronous algorithms PPoPP 2010
- Systematic Asynchrony Bug Exploration for Android Apps CAV 2015
- Time and Asynchrony in Interactions among Distributed Real-Time Objects ECOOP 1995