Topological construction of parameterized bisimulation limit

DOI10.1016/J.ENTCS.2009.11.026MaRDI QIDQ2994479zbMATH OpenOpenAlexFDO

Authors Min Zhang, Yanfang 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

topologyprocess algebra\(\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)

Recommendations

• Topological (bi-)simulation
• Parameterised bisimulations: some applications
• Topologies, Continuity and Bisimulations
• Logical characterisation of parameterised bisimulations
• The infinite evolution mechanism of \(\epsilon\)-bisimilarity

Cites work

• scientific article; zbMATH DE number 1566482 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 3479763 (Why is no real title available?)
• scientific article; zbMATH DE number 1296290 (Why is no real title available?)
• A complete inference system for a class of regular behaviours
• A context dependent equivalence between processes
• Algebraic laws for nondeterminism and concurrency
• Communicating sequential processes
• Topology in process calculus. I: Limit behaviour of agents

Cited in

(2)

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

This page was built for publication: Topological construction of parameterized bisimulation limit

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2994479)