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

timed global protocol Fibonacci(role A, role B)
{
    rec Fib
    {
        choice at A
        {
            fibonacci(Long) from A to B within [0;1] using a and resetting ();
            fibonacci(Long) from B to A within [0;1] using a and resetting ();
            continue Fib within [0;1] using a and resetting ();
        }
        or
        {
            stop() from A to B within [0;1] using a and resetting ();
        }
    }
}