"Undecidability and Hierarchy Results for Parallel Communicating Finite ..."

Henning Bordihn, Martin Kutrib, Andreas Malcher (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics