Cut-off Theorems for the PV-model

Lisbeth Fajstrup

We prove cut-off results for deadlocks and serializability of a $PV$-thread $T$ run in parallel with itself: For a $PV$ thread $T$ which accesses a set $\mathcal{R}$ of resources,…