Daniel Hausmann 0001, Mathieu Lehaut, Nir Piterman. Distribution of Reconfiguration Languages Maintaining Tree-Like Communication Topology. In S. Akshay 0001, Aina Niemetz, Sriram Sankaranarayanan 0001, editors, Automated Technology for Verification and Analysis - 22nd International Symposium, ATVA 2024, Kyoto, Japan, October 21-25, 2024, Proceedings, Part I. Volume 15054 of Lecture Notes in Computer Science, pages 160-180, Springer, 2024. [doi]
Abstract is missing.