Nondeterministic functions and the semantics of CSP
2006 ◽
pp. 230-239