Pages that link to "Item:Q5408432"
From MaRDI portal
The following pages link to Optimal dynamic partial order reduction (Q5408432):
Displaying 15 items.
- Stateless model checking under a reads-value-from equivalence (Q832184) (← links)
- Stateless model checking for TSO and PSO (Q1683934) (← links)
- Approximate partial order reduction (Q2024376) (← links)
- Quasi-optimal partial order reduction (Q2050101) (← links)
- POR for security protocol equivalences. Beyond action-determinism (Q2167736) (← links)
- Analysis of correct synchronization of operating system components (Q2226972) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- (Q3384903) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)
- Global Reproducibility Through Local Control for Distributed Active Objects (Q5039528) (← links)
- Quantifiability: a concurrent correctness condition modeled in vector space (Q6161035) (← links)
- Reconciling preemption bounding with DPOR (Q6535344) (← links)
- Optimal stateless model checking for causal consistency (Q6535346) (← links)
- Unblocking dynamic partial order reduction (Q6535634) (← links)
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods (Q6649454) (← links)
