Labelled Markov processes /

Show other versions (1)

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 characterizati...

Full description

Bibliographic Details
Call Number:Libro Electrónico
Main Author: Panangaden, P. (Prakash)
Corporate Author: World Scientific (Firm)
Format: Electronic eBook
Language:Inglés
Published: London : Singapore : Imperial College Press ; Distributed by World Scientific Pub. Co., ©2009.
Subjects:
Markov processes.
Measure theory.
Markov Chains
Processus de Markov.
Théorie de la mesure.
MATHEMATICS > Probability & Statistics > Stochastic Processes.
Markov processes
Measure theory
Online Access:Texto completo
Description
Summary: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.
Physical Description:1 online resource (xii, 199 pages) : illustrations
Bibliography:Includes bibliographical references (pages 189-196) and index.
ISBN:9781848162891
1848162898

Similar Items