Mario Bravetti, Gianluigi Zavattaro. Foundations of Coordination and Contracts and Their Contribution to Session Type Theory. In Giovanna Di Marzo Serugendo, Michele Loreti, editors, Coordination Models and Languages - 20th IFIP WG 6.1 International Conference, COORDINATION 2018, Held as Part of the 13th International Federated Conference on Distributed Computing Techniques, DisCoTec 2018, Madrid, Spain, June 18-21, 2018. Proceedings. Volume 10852 of Lecture Notes in Computer Science, pages 21-50, Springer, 2018. [doi]
Abstract is missing.