Undecidability and Hierarchy Results for Parallel Communicating Finite Automata.

Henning Bordihn, Martin Kutrib, Andreas Malcher

Browse the full DLT paper archive.