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