mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26

mod checking_mod;
mod graph_mod;

#[test]
fn graph_mod() {
    graph_mod::simple::simple_triple_endpoints();
}

#[test]
pub fn kmc_basic() {
    checking_mod::basics::checking_simple::main();
    checking_mod::basics::checking_choice::main();
    checking_mod::basics::checking_recursion::main();
}

#[test]
pub fn kmc_complex() {
    checking_mod::complex::commit_protocol::main();
    checking_mod::complex::async_paper_ext_rev_sync::main();
    checking_mod::complex::two_peers_branchings_sync::main();
    checking_mod::complex::four_players_game_sync::main();
    checking_mod::complex::alternating_bit::main();
    checking_mod::complex::inf_snd_rcv::main();
    checking_mod::complex::bargain::main();
    checking_mod::complex::cloud_system::main();
}