Pages that link to "Item:Q2393141"
From MaRDI portal
The following pages link to Concurrency bugs in multithreaded software: modeling and analysis using Petri nets (Q2393141):
Displaying 4 items.
- Modeling multithreaded applications using Petri nets (Q1871095) (← links)
- A survey of siphons in Petri nets (Q2279728) (← links)
- Mixed integer programming-based liveness test for FMS with full routing flexibility (Q2336334) (← links)
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks (Q2348357) (← links)