Abstract
We start this chapter with an example, the “Distributed Auction System” taken from Vasconcelos, Fundamentals of session types, pp. 158–186, 2009, [110].
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). Background on 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_5
Download citation
DOI: https://doi.org/10.2991/978-94-6239-204-5_5
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)