Q5111636 (Q5111636): Difference between revisions

@@ Property / describes a project that uses @@
+Church
@@ Property / describes a project that uses: Church / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Approximate Verification of the Symbolic Dynamics of Markov Chains
+Normal rank
@@ Property / cites work @@
+Q5322945
@@ Property / cites work: Q5322945 / rank @@
+Normal rank
@@ Property / cites work @@
+A hierarchy of probabilistic system types
@@ Property / cites work: A hierarchy of probabilistic system types / rank @@
+Normal rank
@@ Property / cites work @@
+Coinduction up-to in a fibrational setting
@@ Property / cites work: Coinduction up-to in a fibrational setting / rank @@
+Normal rank
@@ Property / cites work @@
+Checking NFA equivalence with bisimulations up to congruence
+Normal rank
@@ Property / cites work @@
+Q4676798
@@ Property / cites work: Q4676798 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3510320
@@ Property / cites work: Q3510320 / rank @@
+Normal rank
@@ Property / cites work @@
+Power structures
@@ Property / cites work: Power structures / rank @@
+Normal rank
@@ Property / cites work @@
+A Spectrum of Behavioral Relations over LTSs on Probability Distributions
+Normal rank
@@ Property / cites work @@
+Robustly Parameterised Higher-Order Probabilistic Models
+Normal rank
@@ Property / cites work @@
+On the semantics of Markov automata
@@ Property / cites work: On the semantics of Markov automata / rank @@
+Normal rank
@@ Property / cites work @@
+Characterising Testing Preorders for Finite Probabilistic Processes
+Normal rank
@@ Property / cites work @@
+Testing Finitary Probabilistic Processes
@@ Property / cites work: Testing Finitary Probabilistic Processes / rank @@
+Normal rank
@@ Property / cites work @@
+Eilenberg--Moore algebras for stochastic relations
+Normal rank
@@ Property / cites work @@
+Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations''
+Normal rank
@@ Property / cites work @@
+EQUIVALENCE OF LABELED MARKOV CHAINS
@@ Property / cites work: EQUIVALENCE OF LABELED MARKOV CHAINS / rank @@
+Normal rank
@@ Property / cites work @@
+Limit Synchronization in Markov Decision Processes
+Normal rank
@@ Property / cites work @@
+Deciding Bisimilarities on Distributions
@@ Property / cites work: Deciding Bisimilarities on Distributions / rank @@
+Normal rank
@@ Property / cites work @@
+Concurrency and Composition in a Stochastic World
@@ Property / cites work: Concurrency and Composition in a Stochastic World / rank @@
+Normal rank
@@ Property / cites work @@
+Exploring probabilistic bisimulations. I
@@ Property / cites work: Exploring probabilistic bisimulations. I / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic Bisimulation: Naturally on Distributions
+Normal rank
@@ Property / cites work @@
+Semantics for probabilistic programming
@@ Property / cites work: Semantics for probabilistic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Coalgebraic Trace Semantics for Combined Possibilitistic and Probabilistic Systems
+Normal rank
@@ Property / cites work @@
+Convexity, Duality and Effects
@@ Property / cites work: Convexity, Duality and Effects / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Coalgebra
@@ Property / cites work: Introduction to Coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Trace semantics via determinization
@@ Property / cites work: Trace semantics via determinization / rank @@
+Normal rank
@@ Property / cites work @@
+States of Convex Sets
@@ Property / cites work: States of Convex Sets / rank @@
+Normal rank
@@ Property / cites work @@
+Bialgebras for structural operational semantics: an introduction
+Normal rank
@@ Property / cites work @@
+Q4533390
@@ Property / cites work: Q4533390 / rank @@
+Normal rank
@@ Property / cites work @@
+Automatic verification of real-time systems with discrete probability distributions.
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Learning deterministic probabilistic automata from a model checking perspective
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Upper-Expectation Bisimilarity and Łukasiewicz μ-Calculus
+Normal rank
@@ Property / cites work @@
+Discrete random variables over domains, revisited
@@ Property / cites work: Discrete random variables over domains, revisited / rank @@
+Normal rank
@@ Property / cites work @@
+Enhancements of the bisimulation proof method
@@ Property / cites work: Enhancements of the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank
@@ Property / cites work @@
+Environmental bisimulations for probabilistic higher-order languages
+Normal rank
@@ Property / cites work @@
+Q5287551
@@ Property / cites work: Q5287551 / 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 @@
+Q5179962
@@ Property / cites work: Q5179962 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Abstraction Techniques for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Q2908856
@@ Property / cites work: Q2908856 / rank @@
+Normal rank
@@ Property / cites work @@
+Probabilistic systems coalgebraically: a survey
@@ Property / cites work: Probabilistic systems coalgebraically: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Congruences of convex algebras.
@@ Property / cites work: Congruences of convex algebras. / rank @@
+Normal rank
@@ Property / cites work @@
+Relating coalgebraic notions of bisimulation
@@ Property / cites work: Relating coalgebraic notions of bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Commutative Semantics for Probabilistic Programming
+Normal rank
@@ Property / cites work @@
+Postulates for the barycentric calculus
@@ Property / cites work: Postulates for the barycentric calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q4402856
@@ Property / cites work: Q4402856 / rank @@
+Normal rank
@@ Property / cites work @@
+Distributing probability over non-determinism
@@ Property / cites work: Distributing probability over non-determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation for probabilistic transition systems: A coalgebraic approach
+Normal rank
@@ Property / cites work @@
+High-level Counterexamples for Probabilistic Automata
+Normal rank
@@ Property / cites work @@
+Q4499301
@@ Property / cites work: Q4499301 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5111636