J. Bryan Scattergood

发表

The semantics and implementation of machine-readable CSP

J. Bryan Scattergood, 1998 .

Hierarchical Compression for Model-Checking CSP or How to Check 1020 Dining Philosophers for Deadlock

Michael Goldsmith, A. W. Roscoe, Paul H. B. Gardiner, 1995, TACAS.