Unbounded nondeterminism in CSP

Lecture Notes in Computer Science - Mathematical Foundations of Programming Semantics ◽

10.1007/bfb0040257 ◽

2006 ◽

pp. 160-193 ◽

Cited By ~ 8

Author(s):

A. W. Roscoe ◽

Geoff Barrett