Topological construction of parameterized bisimulation limit

DOI10.1016/J.ENTCS.2009.11.026zbMATH Open1342.68233OpenAlexW2092092493MaRDI QIDQ2994479FDOQ2994479

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

Recommendations

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

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)

Cites Work

• Algebraic laws for nondeterminism and concurrency
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Communicating sequential processes
• A complete inference system for a class of regular behaviours
• Title not available (Why is that?)
• A context dependent equivalence between 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)