References

• [84] Introduction to Lambda Calculus. 1984. [1]
• [Gir95] J.-Y. Girard. Linear Logic: its syntax and semantics, pages 1–42. London Mathematical Society Lecture Note Series. Cambridge University Press, 1995. [1]
• [Mil80] Robin Milner. A Calculus of Communicating Systems. Volume 92 of Lecture Notes in Computer Science. Springer, 1980. ISBN 3-540-10235-3. doi:10.1007/3-540-10235-3, URL: https://doi.org/10.1007/3-540-10235-3. [1] [2]
• [Mon23] Fabrizio Montesi. Introduction to Choreographies. Cambridge University Press, Cambridge, 2023. ISBN 978-1-108-83376-9. doi:10.1017/9781108981491, URL: https://www.cambridge.org/core/books/introduction-to-choreographies/65D3DA3CFF11AB835452CBC97FAE4830. [1] [2] [3]
• [San] Davide Sangiorgi. Introduction to Bisimulation and Coinduction. Cambridge University Press. ISBN 978-1-107-00363-7. doi:10.1017/CBO9780511777110, URL: https://www.cambridge.org/core/books/introduction-to-bisimulation-and-coinduction/8B54001CB763BAE9C4BA602C0A341D60. [1] [2] [3] [4] [5] [6] [7] [8] [9]