Deciding Bisimilarities on Distributions

DOI10.1007/978-3-642-40196-1_6zbMath1398.68364OpenAlexW40750098MaRDI QIDQ5415456

Holger Hermanns, Christian Eisentraut, Andrea Turrini, Julia Krämer, Li-jun Zhang

Publication date: 12 May 2014

Published in: Quantitative Evaluation of Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-40196-1_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87)

Related Items (7)

Probabilistic bisimulation for realistic schedulers ⋮ Computing Behavioral Relations for Probabilistic Concurrent Systems ⋮ Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states ⋮ The quest for minimal quotients for probabilistic and Markov automata ⋮ Probabilistic Bisimulation for Realistic Schedulers ⋮ Unnamed Item ⋮ The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism

This page was built for publication: Deciding Bisimilarities on Distributions