Defining New Non-preemptive Dispatching and Locking Policies for Ada

@inproceedings{Burns2001DefiningNN,
  title={Defining New Non-preemptive Dispatching and Locking Policies for Ada},
  author={Alan Burns},
  booktitle={Ada-Europe},
  year={2001}
}