Topologies, Continuity and Bisimulations
The notion of a bisimulation relation is of basic importance in many areas of computation theory and logic. Of late, it has come to take a particular significance in work on the formal analysis and verification of hybrid control systems, where system properties are expressible by formulas of the modal μ-calculus or weaker temporal logics. Our purpose here is to give an analysis of the concept of bisimulation, starting with the observation that the zig-zag conditions are suggestive of some form...[Show more]
|Collections||ANU Research Publications|
|Source:||Theoretical Informatics and Applications|
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.