On time reduction and simulation in cellular spaces
Buchholz, Thomas ;
Klein, Andreas ;
Kutrib, Martin
Zum Volltext im pdf-Format:
Dokument 1.pdf (238 KB)
Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URN: urn:nbn:de:hebis:26-opus-159
URL: http://geb.uni-giessen.de/geb/volltexte/1998/15/
Universität
Justus-Liebig-Universität Gießen
Institut:
Institut für Informatik
Fachgebiet:
Informatik
DDC-Sachgruppe:
Informatik
Dokumentart:
ResearchPaper
Zeitschrift, Serie:
IFIG Research Report
; 9703 / 1998
Sprache:
Englisch
Erstellungsjahr:
1998
Publikationsdatum:
25.05.1998
Kurzfassung auf Englisch:
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.
Lizenz:
Veröffentlichungsvertrag für Publikationen ohne Print on Demand