A theory for the semantics of continuous systems with stochastic and structural non-determinism
Title | A theory for the semantics of continuous systems with stochastic and structural non-determinism |
Publication Type | Conference Paper |
Year of Publication | 2013 |
Authors | Budde, CE |
Conference Name | YR-CONCUR |
Date Published | 08/2013 |
Conference Location | Buenos Aires, Argentina |
Keywords | Bisimulation, Hennessy-Milner Logic, Measure Theory, Nondeterministic labelled Markov Processes |
Abstract | We report an approach to modelling the semantics of complex systems, comprising non-deterministic and stochastic behaviour inside continuous domains. The theory is based on the mathematical field of measure theory, and extends labelled Markov processes (LMP) with internal non-determinism. We show how the bisimulation relation can be understood in different manners, and mention the known boundaries between the different resulting definitions. We also review a variant of Hennessy-Milner logic that provides logical characterizations of some of these bisimulations. |
Refereed Designation | Refereed |
PDF (Full text):