Abstract
Higher-Order \(\pi \)-calculus (HO\(\pi \)) models mobility of processes that can be sent and received and can be run locally Sangiorgi and Walker, The \(\pi \)-calculus: a Theory of Mobile Processes, 2001, [101].
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). Higher-Order Communication. 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_9
Download citation
DOI: https://doi.org/10.2991/978-94-6239-204-5_9
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)