publication venue for Pre-run-time scheduling of processes with exclusion relations on nested or overlapping critical sections 1992
