Abstract
In this chapter we propose an alternative encoding which is an optimised version of the previous one. The main idea is to reuse the same channel in the continuation of the encoding. But then, since channel variables have linear types, doing so would violate linearity. In order to overcome this problem, we modify the typing rules for both the output and the selection processes.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2016 Atlantis Press and the author(s)
About this chapter
Cite this chapter
Dardha, O. (2016). From \(\pi \)-Types to Session Types. In: Type Systems for Distributed Programs: Components and Sessions. Atlantis Studies in Computing, vol 7. Atlantis Press, Paris. https://doi.org/10.2991/978-94-6239-204-5_11
Download citation
DOI: https://doi.org/10.2991/978-94-6239-204-5_11
Published:
Publisher Name: Atlantis Press, Paris
Print ISBN: 978-94-6239-203-8
Online ISBN: 978-94-6239-204-5
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)