Towards Weak Bisimulation For Coalgebras (Q2841308): Difference between revisions

@@ Property / describes a project that uses @@
+CCSL
@@ Property / describes a project that uses: CCSL / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3986541
@@ Property / cites work: Q3986541 / rank @@
+Normal rank
@@ Property / cites work @@
+Institutionalising Many-Sorted Coalgebraic Modal Logic
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2762529
@@ Property / cites work: Q2762529 / rank @@
+Normal rank
@@ Property / cites work @@
+An approach to object semantics based on terminal co-algebras
+Normal rank
@@ Property / cites work @@
+A Syntactical Approach to Weak (Bi-)Simulation for Coalgebras
+Normal rank
@@ Property / cites work @@
+Q2709810
@@ Property / cites work: Q2709810 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4222961
@@ Property / cites work: Q4222961 / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Coinduction and Weak Bisimilarity for While Programs
+Normal rank
@@ Property / cites work @@
+Universal coalgebra: A theory of systems
@@ Property / cites work: Universal coalgebra: A theory of systems / rank @@
+Normal rank