Über die Erkennbarkeit unendlicher Spuren
unknownUnendliche Mazurkiewicz Spuren stellen einen mathematischen Rahmen dar für die Untersuchung nichtterminierender nebenläufiger Systeme, z. B. verteilter Transaktionssysteme. Eine grundlegende Eigenschaft dabei ist die endliche Kontrollierbarkeit (Erkennbarkeit) des Systemverhaltens. Das vorliegende Buch behandelt den Begriff der Erkennbarkeit für unendliche Spuren aus der Sicht der Automaten mit verteilter Kontrolle. Es werden grundlegende Automaten-Konstruktionen (Determinisierung, Komplementierung) vorgestellt, und damit wird die klassische Theorie der unendlichen Sequenzen zu unendlichen Spuren erweitert.
Anno:
1996
Edizione:
1
Casa editrice:
Vieweg+Teubner Verlag
Lingua:
german
Pagine:
116
ISBN 10:
3322953718
ISBN 13:
9783322953711
Collana:
XTEUBNER-TEXTE zur Informatik 17
File:
PDF, 9.15 MB
IPFS:
,
german, 1996
Il download di questo libro non è disponibile a causa di un reclamo da parte del detentore del copyright
Beware of he who would deny you access to information, for in his heart he dreams himself your master
Converti i file
Più risultati di ricerca
Altri vantaggi 
![Ekkart Kindler, Steffen Manthey — Automaten, Formale Sprachen und Berechenbarkeit I [Lecture notes]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b6875101419fc4edb0eef452b883e41d4d9e64da92a90093f3e8b5f6e1092cd5.jpg)
![Christoph Spies — Über den Beweis der Bloch-Kato-Vermutung [Master thesis]](https://s3proxy.cdn-zlib.se/covers200/collections/genesis/b63b57c8e87f8590f77dab79c447b16890d235eb5b5456beb4a729fbdfe6132f.jpg)
