Anfonwch hwn fel neges destun: Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock