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

timed global protocol SimpleVoting(role Voter, role Server){
    Authenticate(String) from Voter to Server within [0;1] using a and resetting ();
    choice at Server {
        Ok(String) from Server to Voter within [0;1] using a and resetting ();
        choice at Voter {
            Yes(String) from Voter to Server within [0;1] using a and resetting ();
        } or {
            No(String) from Voter to Server within [0;1] using a and resetting ();
        }
        Result(Int) from Server to Voter within [0;1] using a and resetting ();
    } or {
        Reject(String) from Server to Voter within [0;1] using a and resetting ();
    }
}