Topologies, Continuity and Bisimulations
Description
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 |
---|---|
Date published: | 1999 |
Type: | Journal article |
URI: | http://hdl.handle.net/1885/93931 |
Source: | Theoretical Informatics and Applications |
Download
Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.
Updated: 17 November 2022/ Responsible Officer: University Librarian/ Page Contact: Library Systems & Web Coordinator