Preemption in Concurrent Systems (1993)

by G Berry
Venue:In Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS 761