Approximate bisimilarity

DOI10.1007/3-540-45499-3_23MaRDI QIDQ2767183zbMATH OpenFDO

Authors Mingsheng Ying, Martin Wirsing

Publication date 28 January 2002

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-45499-3_23

zbMATH Keywords

bisimulationprocess algebrareal time ACP

Mathematics Subject Classification ID

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

Recommendations

• Bisimulation indexes and their applications
• scientific article; zbMATH DE number 1956514
• Characterize branching distance in terms of ( , )-bisimilarity
• Approximate reasoning for real-time probabilistic processes
• On the relationship between bisimulation and trace equivalence in an approximate probabilistic context

Cited in

(29)

• Approximate equivalence and synchronization of metric transition systems
• Characterize branching distance in terms of ( , )-bisimilarity
• Quantitative analysis of software approximate correctness
• Algorithmic and logical characterizations of bisimulations for non-deterministic fuzzy transition systems
• The approximate correctness of systems based on \(\delta\)-bisimulation
• Approximate bisimulation relations for fuzzy automata
• BPA bisimilarity is EXPTIME-hard
• Probabilistic bisimulations for quantum processes
• Approximate bisimulation relations for constrained linear systems
• \(\pi\)-calculus with noisy channels
• Approximating bisimilarity for Markov processes
• Probabilistic model of software approximate correctness
• On the relationship between bisimulation and trace equivalence in an approximate probabilistic context
• Two-thirds simulation indexes and modal logic characterization
• On Bisimilarity and Substitution in Presence of Replication
• Weak Bisimulation Approximants
• scientific article; zbMATH DE number 1231603 (Why is no real title available?)
• Value-passing CCS with noisy channels
• scientific article; zbMATH DE number 1956514 (Why is no real title available?)
• Approximating Markov processes through filtration
• The infinite evolution mechanism of \(\epsilon\)-bisimilarity
• A modal characterization of alternating approximate bisimilarity
• Approximate testing equivalence based on time, probability, and observed behavior
• Approximate reasoning for real-time probabilistic processes
• Quantitative relations and approximate process equivalences.
• Characterization and computation of approximate bisimulations for fuzzy automata
• Approximate bisimulations for Kripke models of fuzzy multimodal logics over complete Heyting algebras
• Algebraic properties of approximate bisimulation relations for fuzzy automata
• Approximate Hennessy-Milner type theorems for fuzzy multimodal logics over Heyting algebras

This page was built for publication: Approximate bisimilarity

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