Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock
A Roscoe‚ P Gardiner‚ Michael Goldsmith‚ J Hulance‚ D Jackson and J Scattergood
Book Title
Tools and Algorithms for the Construction and Analysis of Systems
Organisation
Springer Berlin/Heidelberg
Pages
133–152
Year
1995