| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 423412 | Electronic Notes in Theoretical Computer Science | 2009 | 16 Pages |
Abstract
In this paper, we mainly discuss several closure constructions of parameterized limit bisimulation and establish a family of parameterized bisimulation limit topologies. These topological structures are useful for us to understand and analyze the infinite evolution of parameterized bisimulation.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
