|
![]() |
|||
|
||||
OverviewLabelled 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. Full Product DetailsAuthor: Prakash Panangaden (Mcgill Univ, Canada)Publisher: Imperial College Press Imprint: Imperial College Press Dimensions: Width: 15.50cm , Height: 2.00cm , Length: 22.90cm Weight: 0.517kg ISBN: 9781848162877ISBN 10: 1848162871 Pages: 212 Publication Date: 30 June 2009 Audience: College/higher education , Professional and scholarly , Tertiary & Higher Education , Professional & Vocational Format: Hardback Publisher's Status: Active Availability: Out of stock ![]() The supplier is temporarily out of stock of this item. It will be ordered for you on backorder and shipped when it becomes available. Table of ContentsIntroduction; 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.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |