Lattice properties of congruences for stochastic relations (Q424543): Difference between revisions

@@ Property / Mathematics Subject Classification ID @@
+E15
@@ Property / Mathematics Subject Classification ID: 03E15 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A32
@@ Property / Mathematics Subject Classification ID: 18A32 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+A05
@@ Property / Mathematics Subject Classification ID: 28A05 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6040329
@@ Property / zbMATH DE Number: 6040329 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+stochastic relation
@@ Property / zbMATH Keywords: stochastic relation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Kripke model
@@ Property / zbMATH Keywords: Kripke model / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+congruence
@@ Property / zbMATH Keywords: congruence / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+bisimulation
@@ Property / zbMATH Keywords: bisimulation / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+invariant set
@@ Property / zbMATH Keywords: invariant set / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+order
@@ Property / zbMATH Keywords: order / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.apal.2011.12.024
+Normal rank
@@ Property / OpenAlex ID @@
+W2011718533
@@ Property / OpenAlex ID: W2011718533 / rank @@
+Normal rank
@@ Property / cites work @@
+Identities involving the coefficients of certain Dirichlet series
+Normal rank
@@ Property / cites work @@
+Q3934450
@@ Property / cites work: Q3934450 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation and cocongruence for probabilistic systems
+Normal rank
@@ Property / cites work @@
+Bisimulation for labelled Markov processes
@@ Property / cites work: Bisimulation for labelled Markov processes / rank @@
+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 @@
+Erratum and addendum: ``Eilenberg-Moore algebras for stochastic relations''
+Normal rank
@@ Property / cites work @@
+The action of $SL(2,\mathbb {Z})$ on the subsets of $\mathbb {Z}^2$
+Normal rank
@@ Property / cites work @@
+Q3946875
@@ Property / cites work: Q3946875 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5572358
@@ Property / cites work: Q5572358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3883467
@@ Property / cites work: Q3883467 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4323294
@@ Property / cites work: Q4323294 / rank @@
+Normal rank
@@ Property / cites work @@
+New Directions in Descriptive Set Theory
@@ Property / cites work: New Directions in Descriptive Set Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Borel Structure in Groups and Their Duals
@@ Property / cites work: Borel Structure in Groups and Their Duals / rank @@
+Normal rank
@@ Property / cites work @@
+Q3562744
@@ Property / cites work: Q3562744 / 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 @@
+Q5271395
@@ Property / cites work: Q5271395 / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal Coalgebras for Measure-Polynomial Functors
+Normal rank
@@ Property / cites work @@
+Q4396494
@@ Property / cites work: Q4396494 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:424543