Explore projects

Developer Repository of the HOL-CSP project, attempting to build a comprehensive theory of concurrency based on the process algebra CSP.