Explore projects
-
Developer Repository of the HOL-CSP project, attempting to build a comprehensive theory of concurrency based on the process algebra CSP.
Updated -
Updated
-
Luc Lapointe / ARTeQ 24 courses
Creative Commons Attribution Non Commercial Share Alike 4.0 InternationalUpdated