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

    Mastzellenfreundliche und histaminarme Küche

    22,00 EUR
    Ratgeber

  • buch

    Den Kopf des Büffels essen die Götter

    14,90 EUR
    Reisen

  • buch

    The 7 Levels of Confidence Children need

    16,90 EUR
    Pädagogik

  • buch

    FÜLLER-KNÜLLER-ABENTEUER

    7,99 EUR
    Kinder- und Jugendbücher

  • buch

    Nicht mehr schweigen

    18,95 EUR
    Philosophie, Religion

  • buch

    Liebesgrüße aus Mostrich

    10,00 EUR
    Belletristik

  • buch

    Unternehmenswert-Maximierung im Mittelstand

    19,90 EUR
    Soziologie, Politik, Recht, Wirtschaft

  • buch

    Die Geschichte vom Zappelphilipp reloaded

    16,80 EUR
    Ratgeber

  • buch

    Entzündungshemmende Ernährung

    16,90 EUR
    Ratgeber

Neuerscheinungen

  • buch

    Childshair vs. Grüner Diamant

    19,95 EUR
    Belletristik

  • buch

    Insel Sonnenschein

    9,99 EUR
    Ratgeber

  • buch

    Zum Weiterdenken nach dem 9. November 1938

    12,00 EUR
    Geschichte

  • buch

    Schriftenreihe zur Geschichte der Akustik Heft 10

    12,00 EUR
    DEGA

  • buch

    Schriftenreihe zur Geschichte der Akustik Heft 11

    14,00 EUR
    DEGA

  • buch

    Mythos, Skepsis und Logos im Zeitalter der Dekadenz Band 2

    20,00 EUR
    Geistes- und Sprachwissenschaften

  • buch

    Proceedings 11: Culture and Cognition

    14,40 EUR
    Max-Planck-Gesellschaft Edition Open Access (EOA)

  • buch

    Leo oder die Poesie

    10,00 EUR
    Belletristik

  • buch

    Meine Zeit mit dir

    13,90 EUR
    Belletristik

  • buch

    Die Villa Juesheide

    45,00 EUR
    Geschichte

  • buch

    Die stabile OLED

    30,00 EUR
    Naturwissenschaften