Altmetric

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

File Description SizeFormat 
practical-interruptible-conversations.pdfAccepted version529.25 kBAdobe PDFView/Open
Title: Practical interruptible conversations: distributed dynamic verification with multiparty session types and Python
Authors: Demangeon, R
Honda, K
Hu, R
Neykova, R
Yoshida, N
Item Type: Journal Article
Issue Date: 19-Nov-2014
Date of Acceptance: 20-Oct-2014
URI: http://hdl.handle.net/10044/1/20058
DOI: https://dx.doi.org/10.1007/s10703-014-0218-8
ISSN: 1572-8102
Publisher: Springer Verlag (Germany)
Start Page: 197
End Page: 225
Journal / Book Title: Formal Methods in System Design
Volume: 46
Issue: 3
Copyright Statement: The final publication is available at Springer via https://dx.doi.org/10.1007/s10703-014-0218-8
Keywords: Session types
Runtime monitoring
Python
Distributed systems
Publication Status: Published
Appears in Collections:Faculty of Engineering
Computing



Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.

Creative Commons