Pages that link to "Item:Q549202"

The following pages link to Metrics for weighted transition systems: axiomatization and complexity (Q549202):

Displaying 22 items.

• General quantitative specification theories with modal transition systems (Q404008) (← links)
• Interface simulation distances (Q477211) (← links)
• Multi-weighted automata and MSO logic (Q504993) (← links)
• Metrics for weighted transition systems: axiomatization and complexity (Q549202) (← links)
• Quantitative analysis of weighted transition systems (Q710680) (← links)
• Simulation distances (Q764284) (← links)
• Approximate equivalence and synchronization of metric transition systems (Q1004092) (← links)
• Some complexity results on transition systems and elementary net systems (Q1346631) (← links)
• Weighted branching systems: behavioural equivalence, behavioural distance, and their logical characterisations (Q1631225) (← links)
• A complete approximation theory for weighted transition systems (Q1660779) (← links)
• Quantitative analysis of software approximate correctness (Q1664851) (← links)
• Polynomial-time algorithms for computing distances of fuzzy transition systems (Q1749476) (← links)
• Computing branching distances with quantitative games (Q2210522) (← links)
• Weighted modal transition systems (Q2248057) (← links)
• Simulation for lattice-valued doubly labeled transition systems (Q2353987) (← links)
• The quantitative linear-time-branching-time spectrum (Q2453109) (← links)
• (Q4373413) (← links)
• (Q4558787) (← links)
• (Q5094149) (← links)
• Parametric and Quantitative Extensions of Modal Transition Systems (Q5170745) (← links)
• Specification Theories for Probabilistic and Real-Time Systems (Q5170746) (← links)
• Automata, Languages and Programming (Q5466453) (← links)