Title :
Parameterized Bisimulation Infinite Evolution Mechanism
Author :
Ma, Yanfang ; Zhang, Min ; Chen, Yixiang
Author_Institution :
Shanghai Key Lab. of Trustworthy Comput., East China Normal Univ., Shanghai, China
Abstract :
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.
Keywords :
concurrency control; software maintenance; concurrent programs; infinite evolution; parameterized bisimulation limit; parameterized limit bisimulation; program dynamic characterization; topological properties; Algebra; Calculus; Carbon capture and storage; Concurrent computing; Laboratories; Mathematical model; Software engineering; infinite evolution; parameterized bisimulation limit; parameterized limit bisimulation;
Conference_Titel :
Theoretical Aspects of Software Engineering, 2009. TASE 2009. Third IEEE International Symposium on
Conference_Location :
Tianjin
Print_ISBN :
978-0-7695-3757-3
DOI :
10.1109/TASE.2009.24
