Abstraction and nondeterminism in concurrent systems (1982)

by G MILNE
Venue:3rd International Conference on Distributed Systems