Luís Cruz-Filipe, Eva Graversen, Fabrizio Montesi, Marco Peressotti. Reasoning About Choreographic Programs. In Sung-Shik Jongmans, Antónia Lopes, editors, Coordination Models and Languages - 25th IFIP WG 6.1 International Conference, COORDINATION 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings. Volume 13908 of Lecture Notes in Computer Science, pages 144-162, Springer, 2023. [doi]
Abstract is missing.