इसका टेक्स्ट मैसेज भेजे: Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock