Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology

التفاصيل البيبلوغرافية
العنوان: Distribution of Reconfiguration Languages maintaining Tree-like Communication Topology
المؤلفون: Hausmann, Daniel, Lehaut, Mathieu, Piterman, Nir
سنة النشر: 2024
المجموعة: Computer Science
مصطلحات موضوعية: Computer Science - Formal Languages and Automata Theory
الوصف: We study how to distribute trace languages in a setting where processes communicate via reconfigurable communication channels. That is, the different processes can connect and disconnect from channels at run time. We restrict attention to communication via tree-like communication architectures. These allow channels to connect more than two processes in a way that maintains an underlying spanning tree and keeps communication continuous on the tree. We make the reconfiguration explicit in the language allowing both a centralized automaton as well as the distributed processes to share relevant information about the current communication configuration. We show that Zielonka's seminal result regarding distribution of regular languages for asynchronous automata can be generalized in this setting, incorporating both reconfiguration and more than binary tree architectures.
نوع الوثيقة: Working Paper
URL الوصول: http://arxiv.org/abs/2408.10708
رقم الأكسشن: edsarx.2408.10708
قاعدة البيانات: arXiv