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

timed global protocol RemoteData(role Sensor, role Satellite, role Server) {
    rec Loop {
        choice at Server
        {
            GetData() from Server to Satellite within [0;1] using a and resetting ();
            GetData() from Satellite to Sensor within [0;1] using a and resetting ();

            Data(int) from Sensor to Satellite within [0;1] using a and resetting ();
            Data(int) from Satellite to Server within [0;1] using a and resetting ();

            continue Loop;
        } or {
            Stop() from Server to Satellite within [0;1] using a and resetting ();
            Stop() from Satellite to Sensor within [0;1] using a and resetting ();
        }
    }
}