A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems (Q2937731): Difference between revisions

@@ Property / OpenAlex ID @@
+W2146869123
@@ Property / OpenAlex ID: W2146869123 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4813207
@@ Property / cites work: Q4813207 / rank @@
+Normal rank
@@ Property / cites work @@
+Validation of Stochastic Systems
@@ Property / cites work: Validation of Stochastic Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computational Structures
+Normal rank
@@ Property / cites work @@
+Approximating Labelled Markov Processes Again!
@@ Property / cites work: Approximating Labelled Markov Processes Again! / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and cocongruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Bisimulations for non-deterministic labelled Markov processes
+Normal rank
@@ Property / cites work @@
+Abstract Probabilistic Automata
@@ Property / cites work: Abstract Probabilistic Automata / 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 @@
+A logical duality for underspecified probabilistic systems
+Normal rank
@@ Property / cites work @@
+Approximating labelled Markov processes
@@ Property / cites work: Approximating 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 @@
+Kleisli morphisms and randomized congruences for the Giry monad
+Normal rank
@@ Property / cites work @@
+Stochastic Relations
@@ Property / cites work: Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+Measurability and safety verification for stochastic hybrid systems
+Normal rank
@@ Property / cites work @@
+Q2760238
@@ Property / cites work: Q2760238 / rank @@
+Normal rank
@@ Property / cites work @@
+A compositional modelling and analysis framework for stochastic hybrid systems
+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 @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Abstraction, Refinement and Proof for Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Logical Characterizations of Bisimulations for Discrete Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Q4315289
@@ Property / cites work: Q4315289 / rank @@
+Normal rank
@@ Property / cites work @@
+Unprovability of the logical characterization of bisimulation
+Normal rank
@@ Property / cites work @@
+Bisimilarity is not Borel
@@ Property / cites work: Bisimilarity is not Borel / rank @@
+Normal rank
@@ Property / cites work @@
+Q4861733
@@ Property / cites work: Q4861733 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra and Coalgebra in Computer Science
@@ Property / cites work: Algebra and Coalgebra in Computer Science / rank @@
+Normal rank