Late Weak Bisimulation for Markov Automata

Autor: Eisentraut, Christian, Godskesen, Jens Chr., Hermanns, Holger, Song, Lei, Zhang, Lijun

Weak bisimilarity is a distribution-based equivalence notion for Markov automata. It has gained some popularity as the coarsest reasonable behavioural equivalence on Markov automata. This paper studies a strictly coarser notion: Late weak bisimilarit

Externí odkaz: http://arxiv.org/abs/1202.4116

Principles of Markov automata

Autor: Eisentraut, Christian Georg

A substantial amount of today's engineering problems revolve around systems that are concurrent and stochastic by their nature. Solution approaches attacking these problems often rely on the availability of formal mathematical models that reflect suc

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=doi_dedup___::6a2f1a0ba35ad7e7d173324be0e2e80a

Probabilistic Bisimulation for Realistic Schedulers

Autor: Eisentraut, Christian, Godskesen, Jens Christian, Hermanns, Holger, Song, Lei, Zhang, Lijun

Publikováno v: Eisentraut, C, Godskesen, J C, Hermanns, H, Song, L & Zhang, L 2015, Probabilistic Bisimulation for Realistic Schedulers . in FM 2015: Formal Methods : 20th International Symposium, Oslo, Norway, June 24-26, 2015, Proceedings . vol. 9109, Springer, Lecture Notes in Computer Science, pp. 248-264, The 20th International Symposium on Formal Methods, Oslo, Norway, 22/06/2015 . https://doi.org/10.1007/978-3-319-19249-9_16

Weak distribution bisimilarity is an equivalence notion on probabilistic automata, originally proposed for Markov automata. It has gained some popularity as the coarsest behavioral equivalence enjoying valuable properties like preservation of trace d

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=od______2988::8c1edd4bc0447ec9634deb4a746517c7
https://pure.itu.dk/ws/files/81821873/MEALS_Deliverable_1.3_2.pdf

A Semantics for Every GSPN.

Autor: Eisentraut, Christian, Hermanns, Holger, Katoen, Joost-Pieter, Zhang, Lijun

Publikováno v: Application & Theory of Petri Nets & Concurrency; 2013, p90-109, 20p

Concurrency and Composition in a Stochastic World.

Autor: Eisentraut, Christian, Hermanns, Holger, Zhang, Lijun

Publikováno v: Concur 2010 - Concurrency Theory; 2010, p21-39, 19p