Dear Spiral user, We’re pleased to introduce Helix, https://helix.imperial.ac.uk/ Imperial’s new repository for research datasets. Please use Helix for all future dataset deposits. There is no change to Spiral -continue depositing as usual. For queries, contact the Research Data Management team at rdm-enquiries@imperial.ac.uk. Kind regards, the Spiral Team.
 
Statically Verified Refinements for Multiparty Protocols
Author(s)
Zhou, Fangyi
Ferreira, Francisco
Hu, Raymond
Neykova, Rumyana
Yoshida, Nobuko
Type
Software / Code
Abstract
Statically Verified Refinements for Multiparty Protocols
Version
2
Date Issued
2020-08-07
Citation
2020
URI
DOI
Copyright Statement
https://creativecommons.org/licenses/by/4.0/legalcode
Subjects
Statically Verified Refinements for Multiparty Protocols