Specification of Schedulers Using the Modal-p Calculus.

Krishnan Padmanabhan Specification of Schedulers Using the Modal-p Calculus. 42-49 1994 26 Australian Computer Journal 2 db/journals/acj/acj26.html#Padmanabhan94