Dardha, O. (2014) Recursive session types revisited. In: BEAT 2014: Third International Workshop on Behavioural Types, Rome, Italy, 01 Sep 2014, pp. 27-34. (doi: 10.4204/EPTCS.162.4)
|
Text
98991.pdf - Accepted Version Available under License Creative Commons Attribution. 220kB |
Publisher's URL: http://beat2014.behavioural-types.eu/
Abstract
Session types model structured communication-based programming. In particular, binary session types for the pi-calculus describe communication between exactly two participants in a distributed scenario. Adding sessions to the pi-calculus means augmenting it with type and term constructs. In a previous paper, we tried to understand to which extent the session constructs are more complex and expressive than the standard pi-calculus constructs. Thus, we presented an encoding of binary session pi-calculus to the standard typed pi-calculus by adopting linear and variant types and the continuation-passing principle. In the present paper, we focus on recursive session types and we present an encoding into recursive linear pi-types. This encoding is a conservative extension of the former in that it preserves the results therein obtained. Most importantly, it adopts a new treatment of the duality relation, which in the presence of recursive types has been proven to be quite challenging.
| Item Type: | Conference Proceedings |
|---|---|
| Keywords: | recursion, session types, linear types, pi-calculus, encoding |
| Status: | Published |
| Refereed: | Yes |
| Glasgow Author(s) Enlighten ID: | Dardha, Dr Ornela |
| Authors: | Dardha, O. |
| Subjects: | Q Science > QA Mathematics > QA75 Electronic computers. Computer science |
| College/School: | College of Science and Engineering > School of Computing Science |
| Journal Name: | Electronic Proceedings in Theoretical Computer Science |
| ISSN: | 2075-2180 |
| Copyright Holders: | Copyright © 2014 The Authors |
| Publisher Policy: | Reproduced under a Creative Commons License |
| Related URLs: |
University Staff: Request a correction | Enlighten Editors: Update this record
Funder and Project Information
Funder and Project Information