Skip navigation
Skip navigation

Topologies, Continuity and Bisimulations

Davoren, Jennifer M.

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]

CollectionsANU Research Publications
Date published: 1999
Type: Journal article
URI: http://hdl.handle.net/1885/93931
Source: Theoretical Informatics and Applications

Download

There are no files associated with this item.


Items in Open Research are protected by copyright, with all rights reserved, unless otherwise indicated.

Updated:  20 July 2017/ Responsible Officer:  University Librarian/ Page Contact:  Library Systems & Web Coordinator