Pages that link to "Item:Q1004387"

The following pages link to Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387):

Displaying 3 items.

• Lattice-valued simulations for quantitative transition systems (Q473367) (← links)
• A modal characterization of alternating approximate bisimilarity (Q479808) (← links)
• Nondeterministic fuzzy automata with membership values in complete residuated lattices (Q511624) (← links)