related documents Pre-run-time scheduling of processes with exclusion relations on nested or overlapping critical sections Conferences
