• Nemecký jazyk

Über die Erkennbarkeit unendlicher Spuren

Autor:

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)... Viac o knihe

Na objednávku, dodanie 2-4 týždne

46.25 €

bežná cena: 51.39 €

O knihe

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.

  • Vydavateľstvo: Vieweg+Teubner Verlag
  • Rok vydania: 1995
  • Formát: Paperback
  • Rozmer: 244 x 170 mm
  • Jazyk: Nemecký jazyk
  • ISBN: 9783815420676

Generuje redakčný systém BUXUS CMS spoločnosti ui42.