Giessener Elektronische Bibliothek

GEB - Giessener Elektronische Bibliothek

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