Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida. Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python. Formal Methods in System Design, 46(3):197-225, 2015. [doi]
No references recorded for this publication.
No citations of this publication recorded.