Giessener Elektronische Bibliothek

GEB - Giessener Elektronische Bibliothek

Hinweis zum Urheberrecht

Bitte beziehen Sie sich beim Zitieren dieses Dokumentes immer auf folgende
URL: http://geb.uni-giessen.de/geb/volltexte/1998/15/


On time reduction and simulation in cellular spaces

Buchholz, Thomas ; Klein, Andreas ; Kutrib, Martin


pdf-Format: Dokument 1.pdf (238 KB)
ps gepackt: class="frontdoor">Dokument1.gz (153 KB)

Bookmark bei Connotea Bookmark bei del.icio.us
Universität Justus-Liebig-Universität Gießen
Institut: Institut für Informatik
Fachgebiet: Informatik
DDC-Sachgruppe: Informatik
Dokumentart: ResearchPaper (Forschungsbericht, Arbeitspapier)
Zeitschrift, Serie: IFIG Research Report ; 9703 / 1998
Sprache: Englisch
Erstellungsjahr: 1998
Publikationsdatum: 26.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.