ber die Erkennbarkeit unendlicher Spuren [Paperback]

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.Springer Book Archives