1 citations · 2 across the 4 of their papers we have counts for
1 paper · 1 filter
Ryan Kavanagh, Brigitte Pientka
We present Most, a process language with message-observing session types. Message-observing session types extend binary session types with type-level computation to specify communi…