Parameterized Bisimulation Infinite Evolution Mechanism
Yanfang Ma, Min Zhang, Yixiang Chen · 2009
In this paper, we focus on the infinite evolution of the parameterized bisimulation in order to discuss the dynamic characterization of programs. We propose parameterized limit bisimulation and parameterized bisimulation limit which are useful for understanding and analyzing of infinite evolution of concurrent programs. Some special parameterized limit bisimulations are introduced and some topological properties are proved.