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

^*Corresponding author for this work

Software Engineering Institute

East China Normal University

Research output: Contribution to journal › Article › peer-review

5 Scopus citations

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.

Original language	English
Pages (from-to)	55-70
Number of pages	16
Journal	Electronic Notes in Theoretical Computer Science
Volume	257
DOIs	https://doi.org/10.1016/j.entcs.2009.11.026
State	Published - 3 Dec 2009

Keywords

process algebra
topology
ε-parameterized bisimulation
εparameterized limit bisimulation

Access to Document

10.1016/j.entcs.2009.11.026

Cite this

@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

Abstract

Keywords

Access to Document

Other files and links

Fingerprint

Cite this