Yehia Abd Alrahman, Rocco De Nicola & Michele Loreti (2019):
A calculus for collective-adaptive systems and its behavioural theory.
Information and Computation 268,
pp. 104457,
doi:10.1016/j.ic.2019.104457.
Yehia Abd Alrahman, Rocco De Nicola, Michele Loreti, Francesco Tiezzi & Roberto Vigo (2015):
A calculus for attribute-based communication.
In: Proceedings of the 30th Annual ACM Symposium on Applied Computing,
pp. 1840–1845,
doi:10.1145/2695664.2695668.
Yehia Abd Alrahman & Nir Piterman (2021):
Modelling and verification of reconfigurable multi-agent systems.
Auton. Agents Multi Agent Syst. 35(2),
pp. 47,
doi:10.1007/s10458-021-09521-x.
Blaise Genest, Hugo Gimbert, Anca Muscholl & Igor Walukiewicz (2010):
Optimal Zielonka-type construction of deterministic asynchronous automata.
In: Automata, Languages and Programming: 37th International Colloquium, ICALP 2010, Bordeaux, France, July 6-10, 2010, Proceedings, Part II 37.
Springer,
pp. 52–63,
doi:10.1007/978-3-642-14162-1_5.
Blaise Genest & Anca Muscholl (2006):
Constructing exponential-size deterministic Zielonka automata.
In: Automata, Languages and Programming: 33rd International Colloquium, ICALP 2006, Venice, Italy, July 10-14, 2006, Proceedings, Part II 33.
Springer,
pp. 565–576,
doi:10.1007/11787006_48.
Siddharth Krishna & Anca Muscholl (2013):
A quadratic construction for Zielonka automata with acyclic communication structure.
Theoretical Computer Science 503,
pp. 109–114,
doi:10.1016/j.tcs.2013.07.015.
Madhavan Mukund, K Narayan Kumar & Milind Sohoni (2000):
Synthesizing distributed finite-state systems from MSCs.
In: International Conference on Concurrency Theory.
Springer,
pp. 521–535,
doi:10.1007/3-540-44618-4_37.
Madhavan Mukund & Milind Sohoni (1997):
Keeping track of the latest gossip in a distributed system.
Distributed Computing 10,
pp. 137–148,
doi:10.1007/s004460050031.
Wieslaw Zielonka (1987):
Notes on Finite Asynchronous Automata.
RAIRO Theor. Informatics Appl. 21(2),
pp. 99–135,
doi:10.1051/ita/1987210200991.