eva Kühn, Sophie Therese Radschek, Nahla Elaraby. Distributed Coordination Runtime Assertions for the Peer Model. 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 200-219, Springer, 2018. [doi]
Abstract is missing.