Coverart for item
The Resource Validation of stochastic systems : a guide to current research, Christel Baier ... [et al.] (eds.)

Validation of stochastic systems : a guide to current research, Christel Baier ... [et al.] (eds.)

Label
Validation of stochastic systems : a guide to current research
Title
Validation of stochastic systems
Title remainder
a guide to current research
Statement of responsibility
Christel Baier ... [et al.] (eds.)
Subject
Language
eng
Summary
"This tutorial volume presents a coherent and well-balanced introduction to the validation of stochastic systems; it is based on a GI/Dagstuhl research seminar. Supervised by the seminar organizers and volume editors, established researchers in the area as well as graduate students put together a collection of articles competently covering all relevant issues in the area."--BOOK JACKET
Cataloging source
OHX
Illustrations
illustrations
Index
no index present
LC call number
QA274.2
LC item number
.V35 2004
Literary form
non fiction
Nature of contents
bibliography
Series statement
Lecture notes in computer science.
Series volume
2925
http://library.link/vocab/subjectName
  • Stochastic systems
  • Stochastic analysis
  • Stochastic processes
Label
Validation of stochastic systems : a guide to current research, Christel Baier ... [et al.] (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Probabilistic automata : system types, parallel composition and comparison/
  • Ana Sokolova
  • Erik P. de Vink
  • p. 1
  • Tutte le algebre insieme : concepts, discussions and relations of stochastic process algebras with general distributions/
  • Mario Bravetti
  • Pedro R. D'Argenio
  • p. 44
  • overview of probabilistic process algebras and their equivalences/
  • Natalia Lopez
  • Manuel Nunez
  • p. 89
  • Verifying qualitative properties of probabilistic programs/
  • Benedikt Bollig
  • Martin Leucker
  • p. 124
  • On probabilistic computation tree logic/
  • Frank Ciesinski
  • Marcus Grosser
  • p. 147
  • Model checking for probabilistic timed systems/
  • Jeremy Sproston
  • p. 189
  • Serial disk-based analysis of large stochastic models/
  • Rashid Mehmood
  • p. 230
  • Kronecker based matrix representations for large Markov models/
  • Peter Buchholz
  • Peter Kemper
  • p. 256
  • Symbolic representations and analysis of large probabilistic systems/
  • Andrew Miner
  • David Parker
  • p. 296
  • Probabilistic methods in state space analysis/
  • Matthias Kuntz
  • Kai Lampka
  • p. 339
  • Analysing randomized distributed algorithms/
  • Gethin Norman
  • p. 384
  • abstraction framework for mixed non-deterministic and probabilistic systems/
  • Michael Huth
  • p. 419
  • verification of probabilistic lossy channel systems/
  • Philippe Schnoebelen
  • p. 445
Control code
ocm56333914
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 465 p.
Isbn
9783540222651
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
fig., tab.
Specific material designation
remote
Label
Validation of stochastic systems : a guide to current research, Christel Baier ... [et al.] (eds.)
Publication
Bibliography note
Includes bibliographical references
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
Contents
  • Probabilistic automata : system types, parallel composition and comparison/
  • Ana Sokolova
  • Erik P. de Vink
  • p. 1
  • Tutte le algebre insieme : concepts, discussions and relations of stochastic process algebras with general distributions/
  • Mario Bravetti
  • Pedro R. D'Argenio
  • p. 44
  • overview of probabilistic process algebras and their equivalences/
  • Natalia Lopez
  • Manuel Nunez
  • p. 89
  • Verifying qualitative properties of probabilistic programs/
  • Benedikt Bollig
  • Martin Leucker
  • p. 124
  • On probabilistic computation tree logic/
  • Frank Ciesinski
  • Marcus Grosser
  • p. 147
  • Model checking for probabilistic timed systems/
  • Jeremy Sproston
  • p. 189
  • Serial disk-based analysis of large stochastic models/
  • Rashid Mehmood
  • p. 230
  • Kronecker based matrix representations for large Markov models/
  • Peter Buchholz
  • Peter Kemper
  • p. 256
  • Symbolic representations and analysis of large probabilistic systems/
  • Andrew Miner
  • David Parker
  • p. 296
  • Probabilistic methods in state space analysis/
  • Matthias Kuntz
  • Kai Lampka
  • p. 339
  • Analysing randomized distributed algorithms/
  • Gethin Norman
  • p. 384
  • abstraction framework for mixed non-deterministic and probabilistic systems/
  • Michael Huth
  • p. 419
  • verification of probabilistic lossy channel systems/
  • Philippe Schnoebelen
  • p. 445
Control code
ocm56333914
Dimensions
24 cm.
Dimensions
unknown
Extent
viii, 465 p.
Isbn
9783540222651
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
fig., tab.
Specific material designation
remote

Library Locations

    • Harold Cohen LibraryBorrow it
      Ashton Street, Liverpool, L69 3DA, GB
      53.418074 -2.967913
Processing Feedback ...