Davide Basile 0001. Modelling, Verifying and Testing the Contract Automata Runtime Environment with Uppaal. In Ilaria Castellani, Francesco Tiezzi 0001, editors, Coordination Models and Languages - 26th IFIP WG 6.1 International Conference, COORDINATION 2024, Held as Part of the 19th International Federated Conference on Distributed Computing Techniques, DisCoTec 2024, Groningen, The Netherlands, June 17-21, 2024, Proceedings. Volume 14676 of Lecture Notes in Computer Science, pages 93-110, Springer, 2024. [doi]
Abstract is missing.