Topological Construction of Parameterized Bisimulation Limit

DOI10.1016/j.entcs.2009.11.026zbMath1342.68233OpenAlexW2092092493MaRDI QIDQ2994479

Min Zhang, Yan-Fang Ma

Publication date: 1 August 2016

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.entcs.2009.11.026

zbMATH Keywords

process algebratopology\(\varepsilon\)-parameterized bisimulation\(\varepsilon\)-parameterized limit bisimulation

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Topological lattices, etc. (topological aspects) (54H12)

Related Items

Quantitative analysis of software approximate correctness ⋮ The approximate correctness of systems based on \(\delta\)-bisimulation

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A complete inference system for a class of regular behaviours
• A context dependent equivalence between processes
• Topology in process calculus. I: Limit behaviour of agents
• Algebraic laws for nondeterminism and concurrency
• Communicating sequential processes