Undecidability and Hierarchy Results for Parallel Communicating Finite Automata

Henning Bordihn, Martin Kutrib, Andreas Malcher. Undecidability and Hierarchy Results for Parallel Communicating Finite Automata. In Yuan Gao, Hanlin Lu, Shinnosuke Seki, Sheng Yu, editors, Developments in Language Theory, 14th International Conference, DLT 2010, London, ON, Canada, August 17-20, 2010. Proceedings. Volume 6224 of Lecture Notes in Computer Science, pages 88-99, Springer, 2010. [doi]

Abstract

Abstract is missing.