Type safe nondeterminism – A formal semantics of Java threads (2008)

by A Lochbihler
Venue:In: International Workshop on Foundations of Object-Oriented Languages