Labelled Markov Processes

Discover the fascinating world of Labelled Markov Processes by renowned authors at Imperial College Press, published in 2009. This comprehensive hardback edition spans 212 pages and delves into the probabilistic versions of labelled transition systems with continuous state spaces.

This insightful book begins with the fundamentals of probability and measure theory, specifically tailored for continuous state spaces. It then progresses to develop the intricate theory of Labelled Markov Processes (LMPs). Key topics include bisimulation, the logical characterization of bisimulation, as well as metrics and approximation theory, making it an essential read for both students and professionals in the field.

Whether you are looking to deepen your understanding or explore new concepts, Labelled Markov Processes is a valuable addition to your bookshelf. Enhance your knowledge and skills in this advanced area of study today!