Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
Crossref DOI link: https://doi.org/10.1007/s10703-014-0218-8
Published Online: 2014-11-19
Published Print: 2015-06
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Demangeon, Romain
Honda, Kohei
Hu, Raymond
Neykova, Rumyana
Yoshida, Nobuko
Text and Data Mining valid from 2014-11-19