ccs 0.1.0

A simple implementation of the Calculus of Communicating Systems by Robin Milner
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17

mod parsing;
mod bisimilarity;

/// Test examples, excluding large bisimulation examples
const EXAMPLES: &[&str] = &[
    // "examples/beverage-machine1.ccs",
    // "examples/beverage-machine2.ccs",
    // "examples/bisimtest01.ccs",
    // "examples/bisimtest02.ccs",
    // "examples/bisimtest03.ccs",
    // "examples/broken-clock.ccs",
    // "examples/clock.ccs",
    // "examples/coffee-machine.ccs",
    "examples/disconnected.ccs",
    // "examples/trace1.ccs",
    // "examples/trace2.ccs",
];