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

Carlos Esteban Budde

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

3 Downloads (Pure)

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.
Original languageEnglish
Title of host publicationYoung-Researchers CONCUR 2012: International Conference on Concurrency Theory
Number of pages4
Publication statusPublished - Mar 2012
Externally publishedYes
EventYoung Researchers Workshop on Concurrency Theory, YR-CONCUR 2012 - Newcastle upon Tyne, United Kingdom
Duration: 3 Sep 20123 Sep 2012

Workshop

WorkshopYoung Researchers Workshop on Concurrency Theory, YR-CONCUR 2012
Abbreviated titleYR-CONCUR 2012
CountryUnited Kingdom
CityNewcastle upon Tyne
Period3/09/123/09/12

Fingerprint

Dive into the research topics of 'A theory for the semantics of continuous systems with stochastic and structural non-determinism'. Together they form a unique fingerprint.

Cite this