Abstraction and nondeterminism in concurrent systems (1982)

by G J Milne
Venue:IEEE