Results 1 
1 of
1
Topological (Bi)Simulation
 Electronic Lecture Notes in Computer Science
, 2002
"... Since the work of van Glabbeek [9]... In this paper we define the notion of a labelled topological transition system, i.e., a labelled transition system where the state space is structured using a topology. Then, we define topological simulation and topological bisimulation. These notions extend the ..."
Abstract

Cited by 2 (1 self)
 Add to MetaCart
Since the work of van Glabbeek [9]... In this paper we define the notion of a labelled topological transition system, i.e., a labelled transition system where the state space is structured using a topology. Then, we define topological simulation and topological bisimulation. These notions extend the traditional ones by considering not only single steps but arbitrary long (accumulating) sequences of steps in the transfer (zigzag) conditions. We prove that these topological notions are a preorder and an equivalence respectively and that they are stronger than the nontopological notions. We also prove that they are topological notions (invariant under the application of continuous transition morphisms)