Bisimilarity is not Borel (Q5361144): Difference between revisions

@@ label / en / label / en @@
+Bisimilarity is not Borel
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / arXiv classification @@
+math.LO
@@ Property / arXiv classification: math.LO / rank @@
+Normal rank
@@ Property / arXiv classification @@
+cs.LO
@@ Property / arXiv classification: cs.LO / rank @@
+Normal rank
@@ Property / arXiv ID @@
+.0967
@@ Property / arXiv ID: 1211.0967 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / 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 @@
+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 @@
+Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
+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 @@
+Coalgebraic logic for stochastic right coalgebras
@@ Property / cites work: Coalgebraic logic for stochastic right coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+Semi-pullbacks and bisimulation in categories of Markov processes
+Normal rank
@@ Property / cites work @@
+Topology and descriptive set theory
@@ Property / cites work: Topology and descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and techniques in modal logic
@@ Property / cites work: Tools and techniques in modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation through probabilistic testing
@@ Property / cites work: Bisimulation through probabilistic testing / rank @@
+Normal rank
@@ Property / cites work @@
+Q5322161
@@ Property / cites work: Q5322161 / 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 @@
+Unprovability of the logical characterization of bisimulation
+Normal rank
@@ Property / cites work @@
+Invariant Borel sets
@@ Property / cites work: Invariant Borel sets / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3102717965
@@ Property / OpenAlex ID: W3102717965 / rank @@
+Normal rank
@@ Property / title @@
+Bisimilarity is not Borel (English)
@@ Property / title: Bisimilarity is not Borel (English) / rank @@
+Normal rank