Distribution-based bisimulation for labelled Markov processes
From MaRDI portal
Publication:1683448
DOI10.1007/978-3-319-65765-3_10zbMath1494.68184arXiv1706.10049OpenAlexW2963540427MaRDI QIDQ1683448
David N. Jansen, Li-jun Zhang, Peng-fei Yang
Publication date: 1 December 2017
Full work available at URL: https://arxiv.org/abs/1706.10049
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
Probabilistic bisimulation for realistic schedulers ⋮ Logical characterization of branching metrics for nondeterministic probabilistic transition systems ⋮ Unnamed Item