scientific article; zbMATH DE number 1538045

zbMath0960.68121MaRDI QIDQ4518901

Sriram K. Rajamani, Thomas A. Henzinger

Publication date: 20 May 2001

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

bisimulationslabeled transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Simulation relations and applications in formal methods ⋮ Büchi Automata Can Have Smaller Quotients ⋮ Bridging the gap between fair simulation and trace inclusion ⋮ Safe reasoning with logic LTS ⋮ Ensuring liveness properties of distributed systems: open problems ⋮ Safe Reasoning with Logic LTS ⋮ Quasipolynomial computation of nested fixpoints ⋮ Fair simulation