SOS specifications for uniformly continuous operators (Q1678172): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jcss.2017.09.011
+Normal rank
@@ Property / OpenAlex ID @@
+W2760914093
@@ Property / OpenAlex ID: W2760914093 / rank @@
+Normal rank
@@ 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 @@
+Q2767184
@@ Property / cites work: Q2767184 / rank @@
+Normal rank
@@ Property / cites work @@
+Branching bisimulation for probabilistic systems: characteristics and decidability
+Normal rank
@@ Property / cites work @@
+Converging from Branching to Linear Metrics on Markov Chains
+Normal rank
@@ Property / cites work @@
+Precongruence formats for decorated trace semantics
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+Structural operational semantics for continuous state stochastic transition systems
+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 @@
+Metric reasoning about &amp;#x003BB;-terms: The affine case
@@ Property / cites work: Metric reasoning about λ-terms: The affine case / rank @@
+Normal rank
@@ Property / cites work @@
+Metric Reasoning About $$\lambda $$-Terms: The General Case
+Normal rank
@@ Property / cites work @@
+Logical characterization of branching metrics for nondeterministic 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 @@
+Probabilistic Barbed Congruence
@@ Property / cites work: Probabilistic Barbed Congruence / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of Probabilistic Processes
@@ Property / cites work: Semantics of Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Q4484498
@@ Property / cites work: Q4484498 / 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 @@
+A general SOS theory for the specification of probabilistic transition systems
+Normal rank
@@ Property / cites work @@
+Linear Distances between Markov Chains
@@ Property / cites work: Linear Distances between Markov Chains / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Transition System Specification: Congruence and Full Abstraction of Bisimulation
+Normal rank
@@ Property / cites work @@
+Higher-level synchronising devices in Meije-SCCS
@@ Property / cites work: Higher-level synchronising devices in Meije-SCCS / rank @@
+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 II
@@ Property / cites work: Divide and Congruence II / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality of Hennessy-Milner logic by structural operational semantics
+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 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 @@
+Q4992498
@@ Property / cites work: Q4992498 / rank @@
+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 @@
+Metric semantics for true concurrent real time
@@ Property / cites work: Metric semantics for true concurrent real time / 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 @@
+Q4986263
@@ Property / cites work: Q4986263 / rank @@
+Normal rank
@@ Property / cites work @@
+Taking It to the Limit: Approximate Reasoning for Markov Processes
+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 @@
+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 @@
+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 @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+A structural approach to operational semantics
@@ Property / cites work: A structural approach to operational semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Formal verification of timed properties of randomized distributed algorithms
+Normal rank
@@ Property / cites work @@
+Q4847023
@@ Property / cites work: Q4847023 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324960
@@ Property / cites work: Q4324960 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4965819
@@ Property / cites work: Q4965819 / 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
@@ Property / cites work @@
+Q5432023
@@ Property / cites work: Q5432023 / rank @@
+Normal rank