Parameterized bisimulation infinite evolution mechanism

Ma Yanfang; Zhang Min; Chen Yixiang

doi:10.1109/TASE.2009.24

Parameterized bisimulation infinite evolution mechanism

Ma Yanfang^*
, Zhang Min
, Chen Yixiang

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

1 Scopus citations

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.

Original language	English
Title of host publication	Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Pages	299-300
Number of pages	2
DOIs	https://doi.org/10.1109/TASE.2009.24
State	Published - 2009
Event	2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 - Tianjin, China Duration: 29 Jul 2009 → 31 Jul 2009

Publication series

Name	Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

Conference

Conference	2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009
Country/Territory	China
City	Tianjin
Period	29/07/09 → 31/07/09

Keywords

Infinite evolution
Parameterized bisimulation limit
Parameterized limit bisimulation
Process calculus

Access to Document

10.1109/TASE.2009.24

Cite this

Yanfang, M., Min, Z., & Yixiang, C. (2009). Parameterized bisimulation infinite evolution mechanism. In Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 (pp. 299-300). Article 5198520 (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009). https://doi.org/10.1109/TASE.2009.24

@inproceedings{16204f75eeec43e7825a73c62444cb10,

title = "Parameterized bisimulation infinite evolution mechanism",

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 = "Infinite evolution, Parameterized bisimulation limit, Parameterized limit bisimulation, Process calculus",

author = "Ma Yanfang and Zhang Min and Chen Yixiang",

year = "2009",

doi = "10.1109/TASE.2009.24",

language = "英语",

isbn = "9780769537573",

series = "Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009",

pages = "299--300",

booktitle = "Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009",

note = "2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009 ; Conference date: 29-07-2009 Through 31-07-2009",

}

Yanfang, M, Min, Z & Yixiang, C 2009, Parameterized bisimulation infinite evolution mechanism. in Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009., 5198520, Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009, pp. 299-300, 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009, Tianjin, China, 29/07/09. https://doi.org/10.1109/TASE.2009.24

Parameterized bisimulation infinite evolution mechanism. / Yanfang, Ma; Min, Zhang; Yixiang, Chen.
Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009. 2009. p. 299-300 5198520 (Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Parameterized bisimulation infinite evolution mechanism

AU - Yanfang, Ma

AU - Min, Zhang

AU - Yixiang, Chen

PY - 2009

Y1 - 2009

N2 - 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.

AB - 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.

KW - Infinite evolution

KW - Parameterized bisimulation limit

KW - Parameterized limit bisimulation

KW - Process calculus

UR - https://www.scopus.com/pages/publications/71049144322

U2 - 10.1109/TASE.2009.24

DO - 10.1109/TASE.2009.24

M3 - 会议稿件

AN - SCOPUS:71049144322

SN - 9780769537573

T3 - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

SP - 299

EP - 300

BT - Proceedings - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

T2 - 2009 3rd IEEE International Symposium on Theoretical Aspects of Software Engineering, TASE 2009

Y2 - 29 July 2009 through 31 July 2009

ER -

Parameterized bisimulation infinite evolution mechanism

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this