Abstraction, Refinement and Proof for Probabilistic Systems
Published on 19. November 2004
Book
Hardback
XX, 388 pages
978-0-387-40115-7 (ISBN)
Description
This book integrates coverage of random/probabilistic algorithms, assertion-based program reasoning, and refinement programming models, providing a highly focused survey on probabilistic program semantics. It illustrates by example the typical steps necessary in computer science to build a mathematical model of any programming paradigm, addressing an essential foundation topic for modern sequential programming methodology.
More details
Series
Edition
2005 ed.
Language
English
Place of publication
New York
United States
Target group
Professional and scholarly
Research
Product notice
sewn/stitched
Cloth over boards
Illustrations
63 s/w Abbildungen
XX, 388 p. 63 illus.
Dimensions
Height: 243 mm
Width: 164 mm
Thickness: 25 mm
Weight
734 gr
ISBN-13
978-0-387-40115-7 (9780387401157)
DOI
10.1007/b138392
Schweitzer Classification
Other editions
Additional editions
Annabelle McIver | Charles Carroll Morgan
Abstraction, Refinement and Proof for Probabilistic Systems
Book
11/2010
Springer
€160.49
Shipment within 15-20 days
Annabelle McIver | Charles Carroll Morgan
Abstraction, Refinement and Proof for Probabilistic Systems
E-Book
10/2005
1st Edition
Springer
€149.79
Available for download
Content
Probabilistic guarded commands and their refinement logic.- to pGCL: 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.- Semantic structures.- Theory for the demonic model.- The geometry of probabilistic programs.- Proved rules for probabilistic loops.- Infinite state spaces, angelic choice and the transformer hierarchy.- Advanced topics: Quantitative modal logic and game interpretations.- Quantitative temporal logic: An introduction.- The quantitative algebra of qTL.- The quantitative modal ?-calculus, and gambling games.