Zum Muttertag: 20% Rabatt auf 100 Top-Bücher! Jetzt profitieren
Willkommen. Schön, sind Sie da!
Mein Ex Libris
DEFR
KontaktHilfeServiceÜber Ex LibrisFirmenkundschaftFilialen
0
Erweiterte Suche
BücherE-BooksFilmeMusikGamesPapeterieGeschenke & FunSpiele

Über die Erkennbarkeit unendlicher Spuren

E-Book (pdf)
(0)
Erste Bewertung abgeben
Unendliche Mazurkiewicz Spuren stellen einen mathematischen Rahmen dar für die Untersuchung nichtterminierender nebenläufiger Sys...

CHF47.70

Download steht sofort bereit

E-Book (pdf)

Wird oft zusammen gekauft

Andere Kunden kauften auch

Beschreibung

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.

Produktinformationen

Titel:
Über die Erkennbarkeit unendlicher Spuren
Ghostwriter:
Anca Muscholl
EAN:
9783322953711
Format:
E-Book (pdf)
Hersteller:
Vieweg & Teubner
Genre:
Allgemeines, Lexika
Veröffentlichung:
12.06.2019
Digitaler Kopierschutz:
Wasserzeichen
Anzahl Seiten:
112
Auflage:
1. Aufl. 1996

Weitere Bände aus der Buchreihe "XTEUBNER-TEXTE zur Informatik"

E-Book (pdf) Handsketch-Based Diagram Editing von
  • Handsketch-Based Diagram Editing
Band 9
E-Book (pdf) Genetische Algorithmen von
  • Genetische Algorithmen
Band 17
E-Book (pdf) Über die Erkennbarkeit unendlicher Spuren von
  • Über die Erkennbarkeit unendlicher Spuren
Sie sind hier.
Band 18
E-Book (pdf) Begründungsverwaltung von
  • Begründungsverwaltung
Band 22
E-Book (pdf) Flexible Speicherung und Indexierung komplexer Datenbankobjekte von
  • Flexible Speicherung und Indexierung komplexer Datenbankobjekte

Tags

#Automaten, #Konstruktion, #Nebenläufigkeit, #Systeme

Mehr entdecken: Technik

Allgemeines, Lexika, Bau- und Umwelttechnik, Chemische Technik, Elektronik, Elektrotechnik, Nachrichtentechnik, Luft- und Raumfahrttechnik, Maschinenbau, Fertigungstechnik, Sonstiges, Wärme-, Energie- und Kraftwerktechnik