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
18
19
20
21
22
23
24
25
26
27
28

syntax = "proto3";

message Action {
  message Index {
    string label = 1;
    int32 next = 2;
  }
  int32 idx = 1;
  enum ActionType {
    SEND = 0;
    RECV = 1;
  };
  ActionType type = 2;
  string from_role = 3;
  string to_role = 4;
  repeated Index continuations = 5;
  string clock = 6;
  int64 lower_bound = 7;
  bool include_lb = 8;
  int64 upper_bound = 9;
  bool include_ub = 10;
  bool reset_clock = 11;
}

message GlobalType {
  int32 start = 1;
  repeated Action actions = 2;
}