Efficient Detection of Global Properties in Distributed Systems Using Partial-Order Methods
No abstract available.
Related papers
- Efficient Symbolic Detection of Global Properties in Distributed Systems CAV 1998
- Distributed Markov Chains VMCAI 2015
- Start Pruning When Time Gets Urgent: Partial Order Reduction for Timed Systems CAV 2018
- Psym: Efficient Symbolic Exploration of Distributed Systems PLDI 2023
- Model Checking ømega-Regular Properties with Decoupled Search CAV 2021
- POSTER: Distributed Control: The Benefits of Eliminating Global Synchronization via Effective Scheduling PPoPP 2017
- A multiparty session typing discipline for fault-tolerant event-driven distributed programming OOPSLA 2021
- ECROs: building global scale systems from sequential code OOPSLA 2021