scientific article; zbMATH DE number 1538045

MaRDI QIDQ4518901zbMATHFDO

Authors Thomas A. Henzinger, Sriram K. Rajamani

Publication date 20 May 2001

zbMATH Keywords

bisimulationslabeled transition systems

Mathematics Subject Classification ID

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

Recommendations

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

Cited in

(13)

• Quasipolynomial computation of nested fixpoints
• Liveness, Fairness and Impossible Futures
• Safe Reasoning with Logic LTS
• Fair equivalence relations
• Büchi automata can have smaller quotients
• Fair simulation
• Ensuring liveness properties of distributed systems: open problems
• Deciding orthogonal bisimulation
• Fair simulation
• Safe reasoning with logic LTS
• Simulation relations and applications in formal methods
• Bridging the gap between fair simulation and trace inclusion
• Bridging the gap between fair simulation and trace inclusion.

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)