Fair Bisimulation,10.1007/3-540-46419-0_21,Thomas A. Henzinger,Sriram K. Rajamani

Fair Bisimulation   (Citations: 16)
BibTex | RIS | RefWorks Download
Abstract: Bisimulations enjoy numerous applications in the analysis oflabeled transition systems. Many of these applications are based on twocentral observations: first, bisimilar systems satisfy the same branchingtimeproperties; second, bisimilarity can be checked efficiently for finitestatesystems. The local character of bisimulation, however, makes itdifficult to address liveness concerns. Indeed, the definitions of fair bisimulationthat have been proposed in the literature sacrifice...
Cumulative Annual
View Publication
The following links allow you to view full publications. These links are maintained by other sources not affiliated with Microsoft Academic Search.
Sort by: