|
|||||
|
|
Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python |
|
| Authors: | Romain Demangeon Kohei Honda Raymond Hu Rumyana Neykova Nobuko Yoshida |
| Affiliation: | 1. Sorbonne Universités, UPMC, Univ Paris 06, UMR 7606, LIP6, 75005, Paris, France 2. Queen Mary, University of London, London, UK 3. Imperial College London, London, UK |
| Abstract: | |
| Keywords: | |
| 本文献已被 SpringerLink 等数据库收录！ | |