References

  1. 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.
  2. 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.
  3. 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.
  4. 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.
  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.
  6. 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.
  7. 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.
  8. 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.
  9. Wieslaw Zielonka (1987): Notes on Finite Asynchronous Automata. RAIRO Theor. Informatics Appl. 21(2), pp. 99–135, doi:10.1051/ita/1987210200991.

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org