Henning Bordihn, Martin Kutrib, Andreas Malcher
Undecidability and Hierarchy Results for Parallel Communicating Finite Automata
DLT, 2011.
@article{DLT-J-2010-BordihnKM11, author = "Henning Bordihn and Martin Kutrib and Andreas Malcher", doi = "10.1142/S0129054111008891", journal = "{International Journal of Foundations of Computer Science}", number = 7, pages = "1577--1592", publisher = "{World Scientific}", title = "{Undecidability and Hierarchy Results for Parallel Communicating Finite Automata}", volume = 22, year = 2011, }