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

global protocol RemoteData(role Sensor, role Satellite, role Server) {
    rec Loop {
        choice at Server
        {
            GetData() from Server to Satellite;
            GetData() from Satellite to Sensor;

            Data(int) from Sensor to Satellite;
            Data(int) from Satellite to Server;

            continue Loop;
        } or {
            Stop() from Server to Satellite;
            Stop() from Satellite to Sensor;
        }
    }
}