Unendliche 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.

Keywords

Authors and Affiliations

Universität Stuttgart, Deutschland

Anca Muscholl

Bibliographic Information

Book Title: Über die Erkennbarkeit unendlicher Spuren
Authors: Anca Muscholl
Series Title: XTEUBNER-TEXTE zur Informatik
DOI: https://doi.org/10.1007/978-3-322-95371-1
Publisher: Vieweg+Teubner Verlag Wiesbaden
eBook Packages: Springer Book Archive
Copyright Information: B. G. Teubner Verlagsgesellschaft Leipzig 1996
Softcover ISBN: 978-3-8154-2067-6Published: 01 November 1995
eBook ISBN: 978-3-322-95371-1Published: 12 June 2019
Edition Number: 1
Number of Pages: IV, 112
Number of Illustrations: 1 b/w illustrations
Topics: Engineering, general

Publish with us

Policies and ethics

Authors:

Sections

Buy it now

Buying options

Other ways to access

Table of contents (9 chapters)

Front Matter

Back Matter

About this book