Topological Construction of Parameterized Bisimulation Limit

Yanfang Ma; Min Zhang

doi:10.1016/j.entcs.2009.11.026

Topological Construction of Parameterized Bisimulation Limit

Yanfang Ma^*
, Min Zhang

^*此作品的通讯作者

软件工程学院

East China Normal University

科研成果: 期刊稿件 › 文章 › 同行评审

5 引用（Scopus）

摘要

In this paper, we mainly discuss several closure constructions of parameterized limit bisimulation and establish a family of parameterized bisimulation limit topologies. These topological structures are useful for us to understand and analyze the infinite evolution of parameterized bisimulation.

源语言	英语
页（从-至）	55-70
页数	16
期刊	Electronic Notes in Theoretical Computer Science
卷	257
DOI	https://doi.org/10.1016/j.entcs.2009.11.026
出版状态	已出版 - 3 12月 2009

访问文件

10.1016/j.entcs.2009.11.026

其它文件与链接

链接到 Scopus 的出版物

引用此

@article{e6fa61a1b85e41b6b1b23ddac88e59cb,

title = "Topological Construction of Parameterized Bisimulation Limit",

abstract = "In this paper, we mainly discuss several closure constructions of parameterized limit bisimulation and establish a family of parameterized bisimulation limit topologies. These topological structures are useful for us to understand and analyze the infinite evolution of parameterized bisimulation.",

keywords = "process algebra, topology, ε-parameterized bisimulation, εparameterized limit bisimulation",

author = "Yanfang Ma and Min Zhang",

year = "2009",

month = dec,

day = "3",

doi = "10.1016/j.entcs.2009.11.026",

language = "英语",

volume = "257",

pages = "55--70",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier B.V.",

}

TY - JOUR

T1 - Topological Construction of Parameterized Bisimulation Limit

AU - Ma, Yanfang

AU - Zhang, Min

PY - 2009/12/3

Y1 - 2009/12/3

N2 - In this paper, we mainly discuss several closure constructions of parameterized limit bisimulation and establish a family of parameterized bisimulation limit topologies. These topological structures are useful for us to understand and analyze the infinite evolution of parameterized bisimulation.

AB - In this paper, we mainly discuss several closure constructions of parameterized limit bisimulation and establish a family of parameterized bisimulation limit topologies. These topological structures are useful for us to understand and analyze the infinite evolution of parameterized bisimulation.

KW - process algebra

KW - topology

KW - ε-parameterized bisimulation

KW - εparameterized limit bisimulation

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

U2 - 10.1016/j.entcs.2009.11.026

DO - 10.1016/j.entcs.2009.11.026

M3 - 文章

AN - SCOPUS:71649084489

SN - 1571-0661

VL - 257

SP - 55

EP - 70

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

ER -

Topological Construction of Parameterized Bisimulation Limit

摘要

访问文件

其它文件与链接

学术指纹

引用此