Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock. - A. W. Roscoe 001; Paul H. B. Gardiner; Michael Goldsmith; J. R. Hulance; D. M. Jackson; J. Bryan Scattergood (TACAS, 1995)

The semantics and implementation of machine-readable CSP. - J. Bryan Scattergood (1998)