Wow! eBook
Labelled Markov Processes
Author(s): Prakash Panangaden (Author)
- Publisher: Imperial College Press
- Publication Date: 23 Aug. 2009
- Edition: Illustrated
- Language: English
- Print length: 250 pages
- ISBN-10: 1848162871
- ISBN-13: 9781848162877
Book 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.
Editorial Reviews
Review
This book allows the reader to access a great deal of the concepts and theories that have hitherto been confined to specialists’ debates and not put into a global perspective. The presentation is definitely of great value to computer scientists, but should be recommended also to open-minded mathematicians. –Mathematical Reviews
