Pages that link to "Item:Q5357723"
From MaRDI portal
The following pages link to Unfolding-based Partial Order Reduction (Q5357723):
Displaying 5 items.
- Compact and efficiently verifiable models for concurrent systems (Q1620959) (← links)
- Quasi-optimal partial order reduction (Q2050101) (← links)
- Thread-modular analysis of release-acquire concurrency (Q2145344) (← links)
- Deadlock detection-oriented unfolding of unbounded Petri nets (Q2215072) (← links)
- Independence Abstractions and Models of Concurrency (Q2961560) (← links)
