Crossmark

Multiparty session types as coherence proofs

Crossref DOI link: https://doi.org/10.1007/s00236-016-0285-y

Published Online: 2016-11-16

Published Print: 2017-05

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Carbone, Marco

Montesi, Fabrizio https://orcid.org/0000-0003-4666-901X
Schürmann, Carsten

Yoshida, Nobuko
Funding

Funding for this research was provided by:

Danish Council for Free Research (DFF-4005-00304)

Strategiske Forskningsråd (DK) (10-092309)

Seventh Framework Programme (BE) (FP7-612985)
License Information

License valid from 2016-11-16