Abstraction and Nondeterminism in Concurrent Systems.

George J. Milne

Browse the full ICDCS paper archive.