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

global protocol Logging(role Controller, role Logs)
{
    Start(int) from Controller to Logs;
    rec Loop {
        choice at Logs
        {
            Success(int) from Logs to Controller;
            continue Loop;
        } or {
            Failure(int) from Logs to Controller;
            choice at Controller
            {
                Restart(int) from Controller to Logs;
                continue Loop;
            } or {
                Stop(int) from Controller to Logs;
            }
        }
    }
}