Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python release_j2ns5fnyzje53nt7ybhi7cz65a

by Romain Demangeon, Kohei Honda, Raymond Hu, Rumyana Neykova, Nobuko Yoshida

Published in Formal methods in system design by Springer Nature.

2014   Volume 46, p197-225

Archived Files and Locations

application/pdf  542.0 kB
file_55yfucb75zdktkzrx77kand2du
mrg.doc.ic.ac.uk (web)
web.archive.org (webarchive)
Read Archived PDF
Preserved and Accessible
Type  article-journal
Stage   published
Date   2014-11-19
Language   en ?
Container Metadata
Not in DOAJ
In Keepers Registry
ISSN-L:  0925-9856
Work Entity
access all versions, variants, and formats of this works (eg, pre-prints)
Catalog Record
Revision: 1dffefc2-713d-40de-aad0-f3b61a0df51d
API URL: JSON