The following pages link to Source Sets (Q4640276):
Displaying 6 items.
- Quasi-optimal partial order reduction (Q2050101) (← links)
- Computing race variants in message-passing concurrent programming with selective receives (Q2165226) (← links)
- Comparing Source Sets and Persistent Sets for Partial Order Reduction (Q5217316) (← links)
- Prefix-based tracing in message-passing concurrency (Q6102258) (← links)
- Overcoming memory weakness with unified fairness. Systematic verification of liveness in weak memory models (Q6535632) (← links)
- Abstractions for the local-time semantics of timed automata: a foundation for partial-order methods (Q6649454) (← links)