Topological Construction of Parameterized Bisimulation Limit

Authors:
Yanfang Ma;Min Zhang
Affiliations:
Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China;Shanghai Key Laboratory of Trustworthy Computing, East China Normal University, Shanghai, China
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 7
Cited 0

Communicating sequential processes

Communicating sequential processes
A context dependent equivalence between processes

Theoretical Computer Science
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Communicating sequential processes

Communications of the ACM
Topology in process calculus: approximate correctness and infinite evolution of concurrent programs

Topology in process calculus: approximate correctness and infinite evolution of concurrent programs
Communication and Concurrency

Communication and Concurrency
Parameterized Bisimulation Infinite Evolution Mechanism

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

Quantified Score

Hi-index	0.00

Visualization

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.