A Behavioural Pseudometric based on λ–Bisimilarity

DOI10.1016/j.entcs.2008.11.022zbMath1286.68359OpenAlexW2055687978MaRDI QIDQ5415666

Zhaohui Zhu, Jinjin Zhang

Publication date: 13 May 2014

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.2008.11.022

zbMATH Keywords

process algebrabehavioural pseudometricfixed-point characterization\(\lambda\)-bisimilarity

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (4)

Lattice-valued simulations for quantitative transition systems ⋮ A modal characterization of alternating approximate bisimilarity ⋮ Nondeterministic fuzzy automata with membership values in complete residuated lattices ⋮ Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity

Cites Work

• Bisimulation indexes and their applications
• Approximation Metrics for Discrete and Continuous Systems
• Automata, Languages and Programming
• CONCUR 2005 – Concurrency Theory
• CONCUR 2003 - Concurrency Theory
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A Behavioural Pseudometric based on λ–Bisimilarity