Lattice-valued simulations for quantitative transition systems (Q473367): Difference between revisions

@@ Property / cites work @@
+Reactive Systems
@@ Property / cites work: Reactive Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Deciding bisimilarity is P-complete
@@ Property / cites work: Deciding bisimilarity is P-complete / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
+Normal rank
@@ Property / cites work @@
+Q5312888
@@ Property / cites work: Q5312888 / rank @@
+Normal rank
@@ Property / cites work @@
+Reliability of Mobile Processes with Noisy Channels
+Normal rank
@@ Property / cites work @@
+Simulation distances
@@ Property / cites work: Simulation distances / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulations for fuzzy automata
@@ Property / cites work: Bisimulations for fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Computation of the greatest simulations and bisimulations between fuzzy automata
+Normal rank
@@ Property / cites work @@
+Robustness analysis of full implication inference method
+Normal rank
@@ Property / cites work @@
+Q4692885
@@ Property / cites work: Q4692885 / rank @@
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Approximation Metrics for Discrete and Continuous Systems
+Normal rank
@@ Property / cites work @@
+Metamathematics of fuzzy logic
@@ Property / cites work: Metamathematics of fuzzy logic / rank @@
+Normal rank
@@ Property / cites work @@
+Algebraic laws for nondeterminism and concurrency
@@ Property / cites work: Algebraic laws for nondeterminism and concurrency / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Continuity of triple I methods based on several implications
+Normal rank
@@ Property / cites work @@
+Forward and backward simulations. I. Untimed Systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Simulation for lattice-valued doubly labeled transition systems
+Normal rank
@@ Property / cites work @@
+Formalization of implication based fuzzy reasoning method
+Normal rank
@@ Property / cites work @@
+Hierarchical structure and applications of fuzzy logical systems
+Normal rank
@@ Property / cites work @@
+The completeness and applications of the formal system \(\mathcal L^\ast\)
+Normal rank
@@ Property / cites work @@
+Congruences and homomorphisms of fuzzy automata
@@ Property / cites work: Congruences and homomorphisms of fuzzy automata / rank @@
+Normal rank
@@ Property / cites work @@
+Automata theory based on complete residuated lattice-valued logic. II
+Normal rank
@@ Property / cites work @@
+Pumping lemma in automata theory based on complete residuated lattice-valued logic: a note
+Normal rank
@@ Property / cites work @@
+A note on Trillas' CHC models
@@ Property / cites work: A note on Trillas' CHC models / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Bisimulation and Coinduction
@@ Property / cites work: Introduction to Bisimulation and Coinduction / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Quantitative analysis of weighted transition systems
+Normal rank
@@ Property / cites work @@
+Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
+Normal rank
@@ Property / cites work @@
+On robustness of the full implication triple I inference method with respect to finer measurements
+Normal rank
@@ Property / cites work @@
+Bisimulation indexes and their applications
@@ Property / cites work: Bisimulation indexes and their applications / rank @@
+Normal rank
@@ Property / cites work @@
+A Behavioural Pseudometric based on λ–Bisimilarity
+Normal rank
@@ Property / cites work @@
+Characterize branching distance in terms of \((\eta , \alpha )\)-bisimilarity
+Normal rank