Efficient Symbolic Detection of Global Properties in Distributed Systems
No abstract available.
Related papers
- Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods CAV 2000
- ECROs: building global scale systems from sequential code OOPSLA 2021
- Lifeline-based global load balancing PPoPP 2011
- The TLA+ Model Checker Apalache CAV 2026
- Global Data Flow Analysis Problems Arising in Locally Least-Cost Error Recovery TOPLAS 1984
- Evicted Variables and the Interaction of Global Register Allocation and Symbolic Debugging POPL 1993
- Global context recovery: A new strategy for parser recovery from syntax errors PLDI 1979
- Distributed Markov Chains VMCAI 2015