Emptiness Is Decidable for Asynchronous Cellular Machines.

Dietrich Kuske

Browse the full CONCUR paper archive.