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

timed global protocol Recursion(role A, role B, role C) {
    TestInit() from A to B within [0;1] using a and resetting ();
    rec Loop {
        Test0() from A to B within [0;1] using a and resetting ();
        choice at A
        {
            Test1() from A to B within [0;1] using a and resetting ();
            Test2(payload) from A to B within [0;1] using a and resetting ();
            Test3() from A to B within [0;1] using a and resetting (a);
            Test4(payload) from A to B within [0;1] using a and resetting (a);

            continue Loop;
        } or {
            Test1() from A to B within [0;1] using a and resetting ();
            Test2(payload) from A to B within [0;1] using a and resetting ();
            Test3() from A to B within [0;1] using a and resetting (a);
            Test4(payload) from A to B within [0;1] using a and resetting (a);
        }
    }
}