DocumentCode
2880095
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
fYear
2009
fDate
29-31 July 2009
Firstpage
299
Lastpage
300
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/TASE.2009.24
Filename
5198520
Link To Document