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 Logging(role Controller, role Logs)
{
    Start(int) from Controller to Logs within [0;1] using a and resetting ();
    rec Loop {
        choice at Logs
        {
            Success(int) from Logs to Controller within [0;1] using a and resetting ();
            continue Loop within [0;1] using a and resetting ();
        } or {
            Failure(int) from Logs to Controller within [0;1] using a and resetting ();
            choice at Controller
            {
                Restart(int) from Controller to Logs within [0;1] using a and resetting ();
                continue Loop within [0;1] using a and resetting ();
            } or {
                Stop(int) from Controller to Logs within [0;1] using a and resetting ();
            }
        }
    }
}