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

    Die !Kung-Buschleute - ein Urvolk im heutigen Namibia

    49,95 EUR
    Ethnologie

  • buch

    Liebesgrüße aus Mostrich

    10,00 EUR
    Belletristik

  • buch

    Unternehmenswert-Maximierung im Mittelstand

    19,90 EUR
    Soziologie, Politik, Recht, Wirtschaft

  • buch

    Endlich jeden Projektmarathon gewinnen!

    39,95 EUR
    Soziologie, Politik, Recht, Wirtschaft

  • buch

    Happy Feet - dynamische Basis, mühelose Haltung

    15,90 EUR
    Ratgeber

  • buch

    Sag es mit deinem Buch

    49,95 EUR
    Ratgeber

  • buch

    Kampf der Krebse

    13,90 EUR
    Psychologie, Esoterik

  • buch

    Mastzellenfreundliche und histaminarme Küche

    22,00 EUR
    Ratgeber

  • buch

    Die Biberbande Gefangen im Schneesturm

    9,00 EUR
    Kinder- und Jugendbücher

  • buch

    Entzündungshemmende Ernährung

    16,90 EUR
    Ratgeber

Neuerscheinungen

  • buch

    Meditationen

    11,95 EUR
    Ratgeber

  • buch

    Lyrische Besinnlichkeit

    9,90 EUR
    Belletristik

  • buch

    Mein Hut aus Wolkenschaum

    12,00 EUR
    Belletristik

  • buch

    Countering Violent Extremism

    9,00 EUR
    Sozialwissenschaften allgemein

  • buch

    TARA - Band 6

    23,00 EUR
    Psychologie, Esoterik

  • buch

    Pohlschildern

    10,90 EUR
    Geschichte

  • buch

    Reisebeschreibungen aus Südtirol in den 1890er Jahren

    24,50 EUR
    Reisen

  • buch

    "Nummer 10", keine Hausnummer, keine Zigarrenmarke, nur Gedichte

    18,00 EUR
    Belletristik

  • buch

    Jenseits von Uffenheim

    19,90 EUR
    Belletristik

  • buch

    Vom Rubinglas bis zur Brille

    16,00 EUR
    Geschichte

  • buch

    Inszenierung und Wirklichkeit

    68,00 EUR
    Tübingen University Press (TUP)

  • buch

    Die Familie Grüner

    119,99 EUR
    Geschichte

  • buch

    Tochter Zion, freue dich

    9,95 EUR
    Religion/Theologie

  • buch

    Zugehörigkeit und lokale Erinnerungspolitik

    20,00 EUR
    Sozialwissenschaften allgemein