Adam: Causality-Based Synthesis of Distributed Systems
No abstract available.
Related papers
- Synthesis and Analysis of Petri Nets from Causal Specifications CAV 2022
- Synthesis of Temporal Causality CAV 2024
- Distributed causal memory: modular specification and verification in higher-order distributed separation logic POPL 2021
- Chapar: certified causally consistent distributed key-value stores POPL 2016
- A Web Interface for Petri Nets with Transits and Petri Games TACAS 2021
- Combining Functional and Automata Synthesis to Discover Causal Reactive Programs POPL 2023
- Causal consistency: beyond memory PPoPP 2016
- Causal-Broadcast Memory ESOP 2026