Other formats:
BibTeX
LaTeX
RIS
@inproceedings{1187166, author = {Hermanns, Holger and Krčál, Jan and Křetínský, Jan}, address = {Heidelberg Dordrecht London New York}, booktitle = {CONCUR 2014 - Concurrency Theory - 25th International Conference}, doi = {http://dx.doi.org/10.1007/978-3-662-44584-6_18}, keywords = {stochastic systems; probability; bisimulation; non-determinism; process algebra; coalgebra}, howpublished = {tištěná verze "print"}, language = {eng}, location = {Heidelberg Dordrecht London New York}, isbn = {978-3-662-44583-9}, pages = {249-265}, publisher = {Springer}, title = {Probabilistic Bisimulation: Naturally on Distributions}, year = {2014} }
TY - JOUR ID - 1187166 AU - Hermanns, Holger - Krčál, Jan - Křetínský, Jan PY - 2014 TI - Probabilistic Bisimulation: Naturally on Distributions PB - Springer CY - Heidelberg Dordrecht London New York SN - 9783662445839 KW - stochastic systems KW - probability KW - bisimulation KW - non-determinism KW - process algebra KW - coalgebra N2 - In contrast to the usual understanding of probabilistic systems as stochastic processes, recently these systems have also been regarded as transformers of probabilities. In this paper, we give a natural definition of strong bisimulation for probabilistic systems corresponding to this view that treats probability distributions as first-class citizens. Our definition applies in the same way to discrete systems as well as to systems with uncountable state and action spaces. Several examples demonstrate that our definition re- fines the understanding of behavioural equivalences of probabilistic systems. In particular, it solves a longstanding open problem concerning the representation of memoryless continuous time by memoryfull continuous time. Finally, we give algorithms for computing this bisimulation not only for finite but also for classes of uncountably infinite systems. ER -
HERMANNS, Holger, Jan KRČÁL and Jan KŘETÍNSKÝ. Probabilistic Bisimulation: Naturally on Distributions. In \textit{CONCUR 2014 - Concurrency Theory - 25th International Conference}. Heidelberg Dordrecht London New York: Springer, 2014, p.~249-265. ISBN~978-3-662-44583-9. Available from: https://dx.doi.org/10.1007/978-3-662-44584-6\_{}18.
|