Enviar aquest missatge de text: Hierarchical compression for model−checking CSP or how to check 10 20 dining philosophers for deadlock