
Labelled Markov Processes
Prakash Panangaden(Author)
Imperial College Press
Will be published approx. on 30. June 2009
Book
Hardback
212 pages
978-1-84816-287-7 (ISBN)
Description
Labelled Markov processes are probabilistic versions of labelled transition systems with continuous state spaces. The book covers basic probability and measure theory on continuous state spaces and then develops the theory of LMPs.The main topics covered are bisimulation, the logical characterization of bisimulation, metrics and approximation theory. An unusual feature of the book is the connection made with categorical and domain theoretic concepts.
More details
Language
English
Place of publication
London
United Kingdom
Target group
College/higher education
Professional and scholarly
Academics, researches and postgraduate students in theoretical computer science and stochastic analysis.
Product notice
sewn/stitched
Paper over boards
Dimensions
Height: 233 mm
Width: 160 mm
Thickness: 23 mm
Weight
514 gr
ISBN-13
978-1-84816-287-7 (9781848162877)
Copyright in bibliographic data and cover images is held by Nielsen Book Services Limited or by the publishers or by their respective licensors: all rights reserved.
Schweitzer Classification
Person
Content
Introduction; Measure Theory; Integration; The Radon-Nikodym Theorem; A Category of Stochastic Relations; Probability Theory on Continuous Spaces; Bisimulation for Labelled Markov Processes; Metrics for Labelled Markov Processes; Approximating Labelled Markov Processes.