Unbounded Nondeterminism in CSP

A. W. Roscoe, Geoff Barrett. Unbounded Nondeterminism in CSP. In Michael G. Main, Austin Melton, Michael W. Mislove, David A. Schmidt, editors, Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29 - April 1, 1989, Proceedings. Volume 442 of Lecture Notes in Computer Science, pages 160-193, Springer, 1989.

Abstract

Abstract is missing.