Consistency of Synchronization Nets using P and V Operations

Consistency of Synchronization Nets using P and V Operations John L. Bruno Edward G. Coffman Jr. W. H. Hosken 71-77 conf/focs/FOCS13 1972 FOCS db/conf/focs/focs72.html#BrunoCH72