scientific article; zbMATH DE number 1538045

zbMATH Open0960.68121MaRDI QIDQ4518901FDOQ4518901

Authors: Thomas A. Henzinger, Sriram K. Rajamani 

Publication date: 20 May 2001

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

Recommendations

• Fair simulation
• Fair simulation
• scientific article; zbMATH DE number 2080199
• Fair equivalence relations
• Bisimulation, modal logic and model checking games

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 (13)

• Liveness, Fairness and Impossible Futures
• Deciding orthogonal bisimulation
• Safe Reasoning with Logic LTS
• Fair simulation
• Bridging the gap between fair simulation and trace inclusion.
• Büchi automata can have smaller quotients
• Quasipolynomial computation of nested fixpoints
• Fair equivalence relations
• 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

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)