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

timed global protocol Basic(role A, role B, role C) {
    Test1() from A to B within [0;2] using a and resetting ();
    Test1() from B to C within [0;2] using a and resetting ();
    Test1() from A to B within [0;2] using a and resetting ();
    Test1() from A to B within [0;2] using a and resetting ();
    Test5(payload) from A to B within [0;2] using a and resetting ();
    Test2(integer) from A to B within [0;2] using a and resetting ();
    Test3(stri) from A to B within [0;2] using a and resetting ();
    Test4(payload) from A to B within [0;2] using a and resetting ();
}