Behavioural pseudometrics for nondeterministic probabilistic systems
From MaRDI portal
Publication:1660766
DOI10.1007/978-3-319-47677-3_5zbMath1393.68114OpenAlexW2527841536MaRDI QIDQ1660766
Daniel Gebler, Wenjie Du, Yu-xin Deng
Publication date: 16 August 2018
Full work available at URL: https://doi.org/10.1007/978-3-319-47677-3_5
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
A weak semantic approach to bisimulation metrics in models with nondeterminism and continuous state spaces, Differential logical relations. II: Increments and derivatives, Explainability of probabilistic bisimilarity distances for labelled Markov chains, Unnamed Item, Unnamed Item
