Andere Kunden interessierten sich auch für
![Evolution in Objekt-Datenbanken]( "Evolution in Objekt-Datenbanken")
Evolution in Objekt-Datenbanken49,99 €![Computer in der Schule 3]( "Computer in der Schule 3")
Computer in der Schule 349,99 €![Information Retrieval - Eine Einführung]( "Information Retrieval - Eine Einführung")
Information Retrieval - Eine Einführung44,99 €![Grundlagen der systemnahen Programmierung]( "Grundlagen der systemnahen Programmierung")
Grundlagen der systemnahen Programmierung44,99 €![Getriebetechnik Kinematik für AOS- und UPN-Rechner]( "Getriebetechnik Kinematik für AOS- und UPN-Rechner")
Getriebetechnik Kinematik für AOS- und UPN-Rechner54,99 €![Synchronisation in verteilten Systemen]( "Synchronisation in verteilten Systemen")
Synchronisation in verteilten Systemen49,99 €![Software Prototyping mit SETL]( "Software Prototyping mit SETL")
Software Prototyping mit SETL49,95 €
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.