Parameterized Bisimulation Infinite Evolution Mechanism

  • Authors:

  • Yanfang Ma;Min Zhang;Yixiang Chen

  • Affiliations:

  • -;-;-

  • Venue:
  • TASE '09 Proceedings of the 2009 Third IEEE International Symposium on Theoretical Aspects of Software Engineering
  • Year:
  • 2009

Quantified Score

Hi-index 0.00

Visualization

Abstract

In this paper, we focus on the infinite evolution of theparameterized bisimulationin 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 bisimulationsare introduced andsome topologicalproperties are proved.