Docs.rs
ccs-0.1.0
docs.rs
About docs.rs
Badges
Builds
Metadata
Shorthand URLs
Download
Rustdoc JSON
Build queue
Privacy policy
Rust
Rust website
The Book
Standard Library API Reference
Rust by Example
The Cargo Guide
Clippy Documentation
ccs 0.1.0
A simple implementation of the Calculus of Communicating Systems by Robin Milner
Crate
Source
Builds
Feature flags
Hide files
..
beverage-machine1.ccs
beverage-machine2.ccs
bisimbench_10k_10k.ccs
bisimbench_1k_1k.ccs
bisimbench_1M_1M.ccs
bisimbench_200_200.ccs
bisimbench_200_200_5.ccs
bisimbench_25k_25k.ccs
bisimbench_400_1000.ccs
bisimtest01.ccs
bisimtest02.ccs
bisimtest03.ccs
broken-clock.ccs
clock.ccs
coffee-machine.ccs
disconnected.ccs
trace1.ccs
trace2.ccs
1
2
3
4
A = a.B + a.C + a.D B = a.B C = b.C D = 0