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):
