Skip to main content

Hierarchical compression for model−checking CSP‚ or How to check 10^20 dining philosophers for deadlock

A. W. Roscoe‚ D.M.Jackson P.H.B. Gardiner M.H. Goldsmith J.R. Hulance and J.B. Scattergood

Book Title
Proceedings of TACAS 1995
Note
also revised in a version of these proceedings published by LNCS
Publisher
BRICS
Year
1995