Classifying unbounded nondeterminism in CSP
Geoff Barrett and Michael Goldsmith
Book Title
Topology and category theory in computer science
Organisation
Oxford University Press‚ Inc.
Pages
57–74
Year
1991
Geoff Barrett and Michael Goldsmith