Deciding Serializability in Network Systems
No abstract available.
Related papers
- Scalable and serializable networked multi-actor programming OOPSLA 2020
- Static serializability analysis for causal consistency PLDI 2018
- Counting Abstraction and Decidability for the Verification of Structured Parameterized Networks CAV 2025
- Serializability for eventual consistency: criterion, analysis, and applications POPL 2017
- Distributed Cooperation with Action Systems TOPLAS 1988
- Legato: end-to-end bounded region serializability using commodity hardware transactional memory CGO 2017
- Sequential verification of serializability POPL 2010
- Parameterized Verification of Synchronization in Constrained Reconfigurable Broadcast Networks TACAS 2018