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

Carlos Esteban Budde

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

Carlos Esteban Budde

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

41 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 language	English
Title of host publication	Young-Researchers CONCUR 2012: International Conference on Concurrency Theory
Number of pages	4
Publication status	Published - Mar 2012
Externally published	Yes
Event	Young Researchers Workshop on Concurrency Theory, YR-CONCUR 2012 - Newcastle upon Tyne, United Kingdom Duration: 3 Sept 2012 → 3 Sept 2012

Workshop

Workshop	Young Researchers Workshop on Concurrency Theory, YR-CONCUR 2012
Abbreviated title	YR-CONCUR 2012
Country/Territory	United Kingdom
City	Newcastle upon Tyne
Period	3/09/12 → 3/09/12

Access to Document

SNLMP_4pagesAccepted author version, 97 KBLicence: CC BY

Cite this

@inproceedings{f48facdd5a7842ceafa83f77b576d89e,

title = "A theory for the semantics of continuous systems with stochastic and structural non-determinism",

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.",

author = "Budde, \{Carlos Esteban\}",

year = "2012",

month = mar,

language = "English",

booktitle = "Young-Researchers CONCUR 2012: International Conference on Concurrency Theory",

note = "Young Researchers Workshop on Concurrency Theory, YR-CONCUR 2012, YR-CONCUR 2012 ; Conference date: 03-09-2012 Through 03-09-2012",

}

TY - GEN

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

AU - Budde, Carlos Esteban

PY - 2012/3

Y1 - 2012/3

N2 - 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.

AB - 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.

UR - http://dsg.famaf.unc.edu.ar/sites/default/files/pdf/papers/paper-291.pdf

M3 - Conference contribution

BT - Young-Researchers CONCUR 2012: International Conference on Concurrency Theory

T2 - Young Researchers Workshop on Concurrency Theory, YR-CONCUR 2012

Y2 - 3 September 2012 through 3 September 2012

ER -

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

Abstract

Workshop

Access to Document

Other files and links

Fingerprint

Cite this