Skip to content

GitLab

Explore

Sign in
Register

H

hol-csp2.0

Project information

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

660 Commits
2 Branches
0 Tags

README

Created on

January 30, 2025

Loading