Bisimulations and Model Refinements

Roland Glück (Autor)

buch

Jetzt bewerten

29,00 EUR
inkl. 7% MwSt.
versandkostenfrei (Deuschland)

1. Auflage 2015
Englisch
193 Seiten, Hardcover, ca. 170 mm x 220 mm, 429 g


Pro BUSINESS Verlag
ISBN: 978-3-86386-836-9
Artikelnummer: 14400

Kurzbeschreibung

A frequent task in system design is to refine a transition system, i.e. to remove undesired transitions. This task can be hard if one is confronted with a large system. This work presents an approach for handling large systems via bisimulations: A large, possibly infinite system is transformed into a smaller system, which is subsequently refined. Finally, the refinement of the small system is transformed back into a refinement of the original large system. The treated problems include among others optimality problems and stochastic games. The last part is dedicated to an algebraic approach to bisimulations and the application of automated theorem provers.

Buchempfehlungen

  • buch

    Sag es mit deinem Buch

    49,95 EUR
    Ratgeber

  • buch

    Ich helfe dir beim Backen

    20,00 EUR
    Ratgeber

  • buch

    Entzündungshemmende Ernährung

    16,90 EUR
    Ratgeber

  • buch

    Am Ende saß ich in einem Papierflieger und du warst der Wind

    16,80 EUR
    Belletristik

  • buch

    Comanzuela

    19,90 EUR
    Belletristik

  • buch

    Langhaarleben

    9,90 EUR
    Psychologie, Esoterik

  • buch

    Alle Namen unserer Kindheit

    28,00 EUR
    Psychologie

  • buch

    Bäume am Lebensweg

    22,95 EUR
    Belletristik

  • buch

    Mastzellenfreundliche und histaminarme Küche

    22,00 EUR
    Ratgeber

  • buch

    Happy Feet - dynamische Basis, mühelose Haltung

    15,90 EUR
    Ratgeber

  • buch

    Nietzsches beste Zitate

    8,99 EUR
    Geistes- und Sprachwissenschaften

Neuerscheinungen

  • buch

    Papa, wie weit ist es bis zum Mond?

    19,90 EUR
    Sozialwissenschaften allgemein

  • buch

    Der Weg des Feuers

    19,95 EUR
    Belletristik

  • buch

    Nietzsches beste Zitate

    8,99 EUR
    Geistes- und Sprachwissenschaften

  • buch

    Legea protectiei persoanelor care practica prostitutia

    14,90 EUR
    Ratgeber

  • buch

    Das Manillen-Geld Westafrikas

    55,00 EUR
    Ethnologie

  • buch

    Das Vermächtnis oder Von Lilien lernen

    14,90 EUR
    Belletristik

  • buch

    UNIVERSUM, die 4. Dimension

    12,95 EUR
    Geistes- und Sprachwissenschaften

  • buch

    Das Manillen-Geld Westafrikas

    35,00 EUR
    Ethnologie

  • buch

    Ronin und das kleine Blubbermonster - Teil 1

    25,00 EUR
    Kinder- und Jugendbücher

  • buch

    Die Reise zu mehr Leichtigkeit & Zufriedenheit

    9,90 EUR
    Ratgeber

  • buch

    Ronin und das kleine Blubbermonster - Teil 2

    32,00 EUR
    Kinder- und Jugendbücher

  • buch

    Strukturen mit Schwarzschild-Raumzeiten

    24,90 EUR
    Naturwissenschaften allgemein

  • buch

    Als Finn die Zeit vergaß

    10,90 EUR
    Kinder- und Jugendbücher