Q5111289 (Q5111289): Difference between revisions

@@ Property / cites work @@
+Turning SOS rules into equations
@@ Property / cites work: Turning SOS rules into equations / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Behavioral Distances, Compositionally
@@ Property / cites work: Computing Behavioral Distances, Compositionally / rank @@
+Normal rank
@@ Property / cites work @@
+Converging from Branching to Linear Metrics on Markov Chains
+Normal rank
@@ Property / cites work @@
+Probabilistic weak simulation is decidable in polynomial time
+Normal rank
@@ Property / cites work @@
+Q4484497
@@ Property / cites work: Q4484497 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Linear Distances between Markov Chains
@@ Property / cites work: Linear Distances between Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Axiomatizing Bisimulation Equivalences and Metrics from Probabilistic SOS Rules
+Normal rank
@@ Property / cites work @@
+A general SOS theory for the specification of probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Automata, Languages and Programming
@@ Property / cites work: Automata, Languages and Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Game Refinement Relations and Metrics
@@ Property / cites work: Game Refinement Relations and Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Metrics for labelled Markov processes
@@ Property / cites work: Metrics for labelled Markov processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484498
@@ Property / cites work: Q4484498 / rank @@
+Normal rank
@@ Property / cites work @@
+The quantitative linear-time-branching-time spectrum
+Normal rank
@@ Property / cites work @@
+Compositional bisimulation metric reasoning with Probabilistic Process Calculi
+Normal rank
@@ Property / cites work @@
+Q4995155
@@ Property / cites work: Q4995155 / rank @@
+Normal rank
@@ Property / cites work @@
+SOS specifications of probabilistic systems by uniformly continuous operators
+Normal rank
@@ Property / cites work @@
+A logic for reasoning about time and reliability
@@ Property / cites work: A logic for reasoning about time and reliability / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760248
@@ Property / cites work: Q2760248 / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of parallel programs
@@ Property / cites work: Formal verification of parallel programs / rank @@
+Normal rank
@@ Property / cites work @@
+Parametric probabilistic transition systems for system design and analysis
+Normal rank
@@ Property / cites work @@
+Weak bisimulation for probabilistic timed automata
+Normal rank
@@ Property / cites work @@
+Semantic Analysis of Gossip Protocols for Wireless Sensor Networks
+Normal rank
@@ Property / cites work @@
+Weak Simulation Quasimetric in a Gossip Scenario
@@ Property / cites work: Weak Simulation Quasimetric in a Gossip Scenario / rank @@
+Normal rank
@@ Property / cites work @@
+Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
+Normal rank
@@ Property / cites work @@
+Formal verification of timed properties of randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Branching time and abstraction in bisimulation semantics
+Normal rank
@@ Property / cites work @@
+Optimal Transport
@@ Property / cites work: Optimal Transport / rank @@
+Normal rank