Fingerprint
Dive into the research topics of 'Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Practical interruptible conversations: Distributed dynamic verification with multiparty session types and Python
Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida
Research output: Contribution to journal › Article › peer-review
37
Citations
(Scopus)