Logical characterization of branching metrics for nondeterministic probabilistic transition systems (Q2272986): Difference between revisions

@@ Property / cites work @@
+Characteristic formulae for fixed-point semantics: a general framework
+Normal rank
@@ Property / cites work @@
+Foundations of Security Analysis and Design II
@@ Property / cites work: Foundations of Security Analysis and Design II / rank @@
+Normal rank
@@ Property / cites work @@
+Converging from Branching to Linear Metrics on Markov Chains
+Normal rank
@@ Property / cites work @@
+Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes
+Normal rank
@@ Property / cites work @@
+Q3384913
@@ Property / cites work: Q3384913 / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Decomposition on Nondeterministic Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Q4580323
@@ Property / cites work: Q4580323 / rank @@
+Normal rank
@@ Property / cites work @@
+Generalized Bisimulation Metrics
@@ Property / cites work: Generalized Bisimulation Metrics / 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 @@
+A general SOS theory for the specification of probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Bisimulations for non-deterministic labelled Markov processes
+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 Probabilistic Processes Logically
@@ Property / cites work: Characterising Probabilistic Processes Logically / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / 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 @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality of Probabilistic Hennessy-Milner Logic through Structural Operational Semantics
+Normal rank
@@ Property / cites work @@
+Compositional Metric Reasoning with Probabilistic Process Calculi
+Normal rank
@@ Property / cites work @@
+Compositional bisimulation metric reasoning with Probabilistic Process Calculi
+Normal rank
@@ Property / cites work @@
+SOS specifications of probabilistic systems by uniformly continuous operators
+Normal rank
@@ Property / cites work @@
+SOS specifications for uniformly continuous operators
+Normal rank
@@ Property / cites work @@
+A modal characterization of observational congruence on finite terms of CCS
+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 @@
+Exploring probabilistic bisimulations. I
@@ Property / cites work: Exploring probabilistic bisimulations. I / 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 @@
+Probabilistic logical characterization
@@ Property / cites work: Probabilistic logical characterization / 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 @@
+Results on the propositional \(\mu\)-calculus
@@ Property / cites work: Results on the propositional \(\mu\)-calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional weak metrics for group key update
@@ Property / cites work: Compositional weak metrics for group key update / rank @@
+Normal rank
@@ Property / cites work @@
+Q4553277
@@ Property / cites work: Q4553277 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic bisimulation as a congruence
@@ Property / cites work: Probabilistic bisimulation as a congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Weak bisimulation metrics in models with nondeterminism and continuous state spaces
+Normal rank
@@ Property / cites work @@
+Proof systems for satisfiability in Hennessy-Milner logic with recursion
+Normal rank
@@ Property / cites work @@
+Taking It to the Limit: Approximate Reasoning for Markov Processes
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q3519383
@@ Property / cites work: Q3519383 / rank @@
+Normal rank
@@ Property / cites work @@
+Continuous Markovian Logics - Axiomatization and Quantified Metatheory
+Normal rank
@@ Property / cites work @@
+Chain-complete posets and directed sets with applications
+Normal rank
@@ Property / cites work @@
+Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+A General Framework for Probabilistic Characterizing Formulae
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Characteristic formulae for processes with divergence
+Normal rank
@@ Property / cites work @@
+Q5009421
@@ Property / cites work: Q5009421 / rank @@
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Non-expansive \(\varepsilon\)-bisimulations for probabilistic processes
+Normal rank
@@ Property / cites work @@
+On behavioural pseudometrics and closure ordinals
@@ Property / cites work: On behavioural pseudometrics and closure ordinals / rank @@
+Normal rank
@@ Property / cites work @@
+Q4791270
@@ Property / cites work: Q4791270 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Distribution-based bisimulation for labelled Markov processes
+Normal rank