Compositional bisimulation metric reasoning with Probabilistic Process Calculi (Q2974795): 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 @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+Computing Behavioral Distances, Compositionally
@@ Property / cites work: Computing Behavioral Distances, Compositionally / 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 @@
+Generalized Bisimulation Metrics
@@ Property / cites work: Generalized Bisimulation Metrics / rank @@
+Normal rank
@@ Property / cites work @@
+Modal Decomposition on Nondeterministic Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Q4449238
@@ Property / cites work: Q4449238 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Barbed Congruence
@@ Property / cites work: Probabilistic Barbed Congruence / 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 @@
+Q4484498
@@ Property / cites work: Q4484498 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
+Normal rank
@@ Property / cites work @@
+Remarks on Testing Probabilistic Processes
@@ Property / cites work: Remarks on Testing Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+The quantitative linear-time-branching-time spectrum
+Normal rank
@@ Property / cites work @@
+Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity
+Normal rank
@@ Property / cites work @@
+Compositionality of Hennessy-Milner logic by structural operational semantics
+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 @@
+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 @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / 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 @@
+Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
+Normal rank
@@ Property / cites work @@
+SOS formats and meta-theory: 20 years after
@@ Property / cites work: SOS formats and meta-theory: 20 years after / rank @@
+Normal rank
@@ Property / cites work @@
+A Proof System for Compositional Verification of Probabilistic Concurrent Processes
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Non Expansive ε-Bisimulations
@@ Property / cites work: Non Expansive ε-Bisimulations / rank @@
+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 @@
+Q4535035
@@ Property / cites work: Q4535035 / rank @@
+Normal rank
@@ Property / cites work @@
+A behavioural pseudometric for probabilistic transition systems
+Normal rank