Probabilistic bisimulation
From MaRDI portal
Publication:5412012
DOI10.1017/CBO9780511792588.008zbMath1285.68109OpenAlexW361477699MaRDI QIDQ5412012
Publication date: 25 April 2014
Published in: Advanced Topics in Bisimulation and Coinduction (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1017/cbo9780511792588.008
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 (1)
This page was built for publication: Probabilistic bisimulation