Pages that link to "Item:Q5415666"
From MaRDI portal
The following pages link to A Behavioural Pseudometric based on λ–Bisimilarity (Q5415666):
Displaying 4 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)
- Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity (Q1004387) (← links)
