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

P1 = (CS1 | BM1) \ coin \ coffee \ tea
BM1 = coin.(coffee'.BM1 + tea'.BM1)
CS1 = pub'.coin'.coffee.CS1