Accession Number:

ADA364718

Title:

Topologies, Continuity and Bisimulations

Descriptive Note:

Technical rept.

Corporate Author:

CALIFORNIA UNIV BERKELEY SPONSORED PROJECTS OFFICE

Personal Author(s):

Report Date:

1998-10-25

Pagination or Media Count:

19.0

Abstract:

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, based on the modal mu-calculus. Our purpose here is to give an analysis of the concept, starting with the observation that the zig zag conditions are suggestive of some form of continuity. We give a topological characterization of bisimularity for preorders, and then use the topology as a route to examining the algebraic semantics for the mu-calculus and its relation to the standard set-theoretic semantics.

Subject Categories:

  • Theoretical Mathematics

Distribution Statement:

APPROVED FOR PUBLIC RELEASE