Abstraction, refinement, and proof for probabilistic systems [electronic resource] / Annabelle McIver, Carroll Morgan

Author:: McIver, Annabelle
Published:: New York : Springer, 2004.
Physical Description:: 1 volume
Additional Creators:: Morgan, Carroll, 1952- and SpringerLink (Online service)

Access Online

Online version: ezaccess.libraries.psu.edu

Availability

Finding items...

Series:

Monographs in computer science

Contents:

Part I -- Introduction to : Its logic and its model -- Probabilistic loops: Invariants and variants -- Case studies in termination: Choice coordination, the dining philosophers, and the random walk -- Probabilistic data refinement: The steam boiler -- Part II -- Theory for the demonic model -- The geometry of probabilistic programs -- Proved rules for probabilistic loops -- Infinite state spaces, angelic choice and the transformer hierarchy -- Part III -- Quantitative temporal logic: An introduction -- The quantitative algebra of -- The quantitative modal -calculus, and gambling games

Subject(s):

ISBN:

9780387270067

Note:

Description based on print version record.
AVAILABLE ONLINE TO AUTHORIZED PSU USERS.

Bibliography Note:

Includes bibliographical references (pages [345]-355) and index.

Reproduction Note:

Electronic reproduction. Berlin : Springer, 2004. Mode of access: World Wide Web. Available via SpringerLink.

View MARC record | catkey: 4561697