mpstthree 0.1.17

A library implementing Multiparty Session Types for 2 or more participants
Documentation 
1
2
3
4
5
6
7
8

timed global protocol Servo(role C, role L, role S)
{
    GetWebPageLoadState(bool) from C to L within [0;1] using a and resetting ();
    OutstandingWebFonts(bool) from L to C within [0;1] using a and resetting ();
    GetCurrentState(bool) from C to S within [0;1] using a and resetting ();
    DocumentLoading(bool) from S to C within [0;1] using a and resetting ();
    WebFontLoaded(bool) from L to S within [0;1] using a and resetting ();
}