Found 1 document(s)
Page 1 of 1
-
Session type systems are an effective tool to prove that communicating programs do not go wrong, ensuring that the participants of a session follow the protocols described by the types. In previous work, we have introduc...