Characterization of simulation by probabilistic testing

DOI10.1007/978-3-319-30734-3_24zbMath1475.68212OpenAlexW2438295144MaRDI QIDQ2026807

Wang Yi, Philipp Rümmer

Publication date: 20 May 2021

Full work available at URL: https://doi.org/10.1007/978-3-319-30734-3_24

Mathematics Subject Classification ID

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)

This page was built for publication: Characterization of simulation by probabilistic testing