Bernardi, G., Dardha, O. , Gay, S. and Kouzapas, D. (2014) On duality relations for session types. In: 9th International Symposium on Trustworthy Global Computing (TGC) 2014, Rome, Italy, 5-6 Sep 2014, pp. 51-66. ISBN 9783662459164 (doi: 10.1007/978-3-662-45917-1_4)
|
Text
101087.pdf - Accepted Version 222kB |
Publisher's URL: http://dx.doi.org/10.1007/978-3-662-45917-1_4
Abstract
Session types are a type formalism used to describe communication protocols over private session channels. Each participant in a binary session owns one endpoint of a session channel. A key notion is that of duality: the endpoints of a session channel should have dual session types in order to guarantee communication safety. Duality relations have been independently defined in different ways and different works, without considering their effect on the type system. In this paper we systematically study the existing duality relations and some new ones, and compare them in order to understand their expressiveness. The outcome is that those relations are split into two groups, one related to the na¨ıve inductive duality, and the other related to a notion of mutual compliance, which we borrow from the literature on contracts for web-services.
| Item Type: | Conference Proceedings |
|---|---|
| Additional Information: | The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-662-45917-1_4 |
| Keywords: | session types, duality relation, recursion |
| Status: | Published |
| Refereed: | Yes |
| Glasgow Author(s) Enlighten ID: | Dardha, Dr Ornela and Gay, Professor Simon and Kouzapas, Mr Dimitrios |
| Authors: | Bernardi, G., Dardha, O., Gay, S., and Kouzapas, D. |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| College/School: | College of Science and Engineering > School of Computing Science |
| ISSN: | 0302-9743 |
| ISBN: | 9783662459164 |
| Copyright Holders: | Copyright © 2014 Springer-Verlag Berlin Heidelberg |
| First Published: | First published in Lecture Notes in Computer Science 8902:51-66 |
| Publisher Policy: | Reproduced in accordance with the copyright policy of the publisher. |
| Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record
Funder and Project Information
Funder and Project Information