Unbounded nondeterminism in CSP
A. W. Roscoe and G.Barrett
Book Title
Proceedings of MFPS89
Number
298
Publisher
Springer
Series
LNCS
Year
1989
A. W. Roscoe and G.Barrett