A theory for the semantics of continuous systems with stochastic and structural non-determinism

TitleA theory for the semantics of continuous systems with stochastic and structural non-determinism
Publication TypeConference Paper
Year of Publication2013
AuthorsBudde, CE
Conference NameYR-CONCUR
Date Published08/2013
Conference LocationBuenos Aires, Argentina
KeywordsBisimulation, Hennessy-Milner Logic, Measure Theory, Nondeterministic labelled Markov Processes
AbstractWe 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 DesignationRefereed
PDF (Full text):