Pages that link to "Item:Q1606119"

The following pages link to Bisimulation indexes and their applications (Q1606119):

Displaying 16 items.

• Two-thirds simulation indexes and modal logic characterization (Q352098) (← links)
• Value-passing CCS with noisy channels (Q428864) (← links)
• The infinite evolution mechanism of \(\epsilon\)-bisimilarity (Q458130) (← links)
• Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
• A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
• Bisimilarity control of partially observed nondeterministic discrete event systems and a test algorithm (Q534301) (← links)
• Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
• Additive models of probabilistic processes (Q1607220) (← links)
• Quantitative analysis of software approximate correctness (Q1664851) (← links)
• The approximate correctness of systems based on \(\delta\)-bisimulation (Q1744456) (← links)
• Limited approximate bisimulations and the corresponding rough approximations (Q2237122) (← links)
• \(\pi\)-calculus with noisy channels (Q2570971) (← links)
• Probabilistic model of software approximate correctness (Q2825263) (← links)
• Existence and Verification for Decentralized Nondeterministic Discrete-Event Systems Under Bisimulation Equivalence (Q2828481) (← links)
• A Behavioural Pseudometric based on λ–Bisimilarity (Q5415666) (← links)
• Characterization and computation of approximate bisimulations for fuzzy automata (Q6079413) (← links)