An efficiency preorder for processes (1992)

by S Arun-Kumar, M Hennessy
Venue:Acta Informatica