Fingerprint
Dive into the research topics of 'Practical interruptible conversations: Distributed dynamic verification with session types and Python'. Together they form a unique fingerprint.- Sort by
- Weight
- Alphabetically
Practical interruptible conversations: Distributed dynamic verification with session types and Python
Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon, Kohei Honda
Research output: Chapter in Book/Report/Conference proceeding › Conference contribution
30
Citations
(Scopus)