Open AccessTopological Construction of Parameterized Bisimulation Limit
Author(s) -
Yanfang Ma,
Min Zhang
Publication year - 2009
Publication title -
electronic notes in theoretical computer science
Language(s) - English
Resource type - Journals
SCImago Journal Rank - 0.242
H-Index - 60
ISSN - 1571-0661
DOI - 10.1016/j.entcs.2009.11.026
Subject(s) - bisimulation , parameterized complexity , limit (mathematics) , mathematics , closure (psychology) , topology (electrical circuits) , discrete mathematics , pure mathematics , computer science , combinatorics , mathematical analysis , economics , market economy
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
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom