39 citations · 59 across the 8 of their papers we have counts for
Showing cs.DCShow all
2 papers · 1 filter
cs.DC2018
Cut-off Theorems for the PV-model
Lisbeth Fajstrup
We prove cut-off results for deadlocks and serializability of a -thread run in parallel with itself: For a thread which accesses a set of resources,…
cs.DC2012★ 16 cited
Trace Spaces: an Efficient New Technique for State-Space Reduction
Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt +2
State-space reduction techniques, used primarily in model-checkers, all rely on the idea that some actions are independent, hence could be taken in any (respective) order while put…