Discovering and correcting a deadlock in a channel implementation
This page contains the CSP models related to my paper Discovering and correcting a deadlock in a channel implementation.- OneOne.csp, the model of the faulty implementation;
- OneOne2.csp, the model of the corrected implementation.