GitHub repository: jzbor/ccs
Primary language: Rust
Created: 2024-11-10T17:23:12Z
Description: A simple implementation of the Calculus of Communicating Systems by Robin Milner