Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.
['Raymond Hu', 'Rumyana Neykova', 'Nobuko Yoshida', 'Romain Demangeon', 'Kohei Honda']
Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python.