mpstthree 0.1.17

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

global protocol Servo(role C, role L, role S)
{
    GetCurrentState(bool) from C to S;
    DocumentLoading(bool) from S to C;
    WebFontLoaded(bool) from L to S;
    GetWebPageLoadState(bool) from C to L;
    OutstandingWebFonts(bool) from L to C;
}