On time reduction and simulation in cellular spaces

Files in this item
Date
1998Author
Buchholz, Thomas
Klein, Andreas
Kutrib, Martin
Quotable link
http://dx.doi.org/10.22029/jlupub-6995Abstract
We prove a generalized and corrected version of the time reduction theorem for cellular spaces. One basic tool for investigations in this field is the concept of simulation between systems of automata. We propose a general formal definition of the intuitive concept and relate it to the notions which appear in the literature.