Related Books

Labelled Markov Processes
Language: en
Pages: 199
Authors: Prakash Panangaden
Categories: Computers
Type: BOOK - Published: 2009 - Publisher: World Scientific

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
Bisimulation for Labelled Markov Processes
Language: en
Pages: 48
Authors: Richard Blute
Categories: Computers
Type: BOOK - Published: 1997 - Publisher:

Books about Bisimulation for Labelled Markov Processes
Labelled Markov Processes
Language: en
Pages:
Authors: Richard Blute
Categories: Computers
Type: BOOK - Published: 1999 - Publisher:

Books about Labelled Markov Processes
Labelled Markov Processes
Language: en
Pages: 212
Authors: Prakash Panangaden
Categories: Mathematics
Type: BOOK - Published: 2009 - Publisher: Imperial College Press

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.
Labelled Markov Processes [microform]
Language: en
Pages: 274
Authors: Josée Desharnais
Categories: Mathematics
Type: BOOK - Published: 1999 - Publisher: National Library of Canada = Bibliothèque nationale du Canada

Books about Labelled Markov Processes [microform]