scientific article; zbMATH DE number 1538045

zbMATH Open0960.68121MaRDI QIDQ4518901FDOQ4518901

Sriram K. Rajamani, Thomas A. Henzinger

Publication date: 20 May 2001

Title of this publication is not available (Why is that?)

zbMATH Keywords

bisimulationslabeled transition systems

Mathematics Subject Classification ID

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

Cited In (10)

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

   Recommendations

• Fair simulation 👍 👎
• Fair simulation 👍 👎
• Title not available (Why is that?) 👍 👎
• Fair equivalence relations 👍 👎
• Bisimulation, modal logic and model checking games 👍 👎

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4518901)