Algebraic properties of stochastic effectivity functions (Q406467): Difference between revisions

@@ Property / cites work @@
+Q4003461
@@ Property / cites work: Q4003461 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2744124
@@ Property / cites work: Q2744124 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3415147
@@ Property / cites work: Q3415147 / rank @@
+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 @@
+Pipelines: modelling a software architecture through relations
+Normal rank
@@ Property / cites work @@
+Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
+Normal rank
@@ Property / cites work @@
+Stochastic Relations
@@ Property / cites work: Stochastic Relations / rank @@
+Normal rank
@@ Property / cites work @@
+A stochastic interpretation of propositional dynamic logic: expressivity
+Normal rank
@@ Property / cites work @@
+Coalgebraic logic over general measurable spaces – a survey
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Deduction Systems for Coalgebras Over Measurable Spaces
+Normal rank
@@ Property / cites work @@
+Q2847811
@@ Property / cites work: Q2847811 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5509729
@@ Property / cites work: Q5509729 / rank @@
+Normal rank
@@ Property / cites work @@
+Measurable relations
@@ Property / cites work: Measurable relations / rank @@
+Normal rank
@@ Property / cites work @@
+Dagger categories of tame relations
@@ Property / cites work: Dagger categories of tame relations / rank @@
+Normal rank
@@ Property / cites work @@
+The axiom of choice
@@ Property / cites work: The axiom of choice / rank @@
+Normal rank
@@ Property / cites work @@
+Topology and descriptive set theory
@@ Property / cites work: Topology and descriptive set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Topologies on Spaces of Subsets
@@ Property / cites work: Topologies on Spaces of Subsets / rank @@
+Normal rank
@@ Property / cites work @@
+Notions of computation and monads
@@ Property / cites work: Notions of computation and monads / rank @@
+Normal rank
@@ Property / cites work @@
+Q3332693
@@ Property / cites work: Q3332693 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3619416
@@ Property / cites work: Q3619416 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3346126
@@ Property / cites work: Q3346126 / rank @@
+Normal rank
@@ Property / cites work @@
+Game logic -- an overview
@@ Property / cites work: Game logic -- an overview / rank @@
+Normal rank
@@ Property / cites work @@
+Q3408862
@@ Property / cites work: Q3408862 / rank @@
+Normal rank