CSP is expressive enough for pi
A.W. Roscoe
Book Title
to appear in Reflections on the work of C.A.R. Hoare
Editor
C.B. Jones‚ A.W. Roscoe and K.R. Wood
Publisher
Springer
Year
2010
A.W. Roscoe