Topologies, continuity and bisimulations
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...
Topologies On Spaces Of Continuous Multifunctions
Transfer positive hemicontinuity and zeros, coincidences, and fixed points of maps in topological vector spaces.
Trivial bundles of spaces of probability measures and countable-dimensionality
The probability measure functor P carries open continuous mappings of compact metric spaces into Q-bundles provided Y is countable-dimensional and all fibers are infinite. This answers a question raised by V. Fedorchuk.
Two theorems on the Scorza Dragoni property for multifunctions
We point out two theorems on the Scorza Dragoni property for multifunctions. As an application, in particular, we improve a Carathéodory selection theorem by A. Cellina [4], by removing a compactness assumption.