ccs-0.1.0

docs.rs

Rust

ccs 0.1.0

A simple implementation of the Calculus of Communicating Systems by Robin Milner

Crate
Source
Builds
Feature flags

..
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

P2 = (CS2 | BM2) \ coin \ coffee \ tea
BM2 = coin.coffee'.BM2 + coin.tea'.BM2
CS2 = pub'.coin'.coffee.CS2