Undecidability and Hierarchy Results for Parallel Communicating Finite Automata

Henning Bordihn, Martin Kutrib, Andreas Malcher. Undecidability and Hierarchy Results for Parallel Communicating Finite Automata. Int. J. Found. Comput. Sci., 22(7):1577-1592, 2011. [doi]

Abstract

Abstract is missing.