LABELLED MARKOV PROCESSES

LABELLED MARKOV PROCESSES

CONTENTS


FRONT MATTER Prakash Panangaden	i
Introduction Prakash Panangaden	1
Measure Theory Prakash Panangaden	13
Integration Prakash Panangaden	39
The Radon-Nikodym Theorem Prakash Panangaden	55
A Category of Stochastic Relations Prakash Panangaden	63
Probability Theory on Continuous Spaces Prakash Panangaden	77
Bisimulation for Labelled Markov Processes Prakash Panangaden	89
Metrics for Labelled Markov Processes Prakash Panangaden	107
Approximating Labelled Markov Processes Prakash Panangaden	133
Approximating the Approximation Prakash Panangaden	147
A Domain of Labelled Markov Processes Prakash Panangaden	153
Real-Time and Continuous Stochastic Logic Prakash Panangaden	167
Related Work Prakash Panangaden	181
BACK MATTER Prakash Panangaden	189
Back