Skip to main content

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