Simulation Distances
From MaRDI portal
Publication:3584934
DOI10.1007/978-3-642-15375-4_18zbMath1287.68127OpenAlexW2914759716MaRDI QIDQ3584934
Arjun Radhakrishna, Pavol Černý, Thomas A. Henzinger
Publication date: 31 August 2010
Published in: CONCUR 2010 - Concurrency Theory (Search for Journal in Brave)
Full work available at URL: https://repository.ist.ac.at/42/1/Simulation_distances.pdf
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (6)
General quantitative specification theories with modal transition systems ⋮ Interface simulation distances ⋮ Metrics for weighted transition systems: axiomatization and complexity ⋮ Enhancing Automata Learning by Log-Based Metrics ⋮ Program repair without regret ⋮ Simulation distances
This page was built for publication: Simulation Distances
