Adding recursive constructs to bialgebraic semantics (Q1878714): Difference between revisions

@@ Property / cites work @@
+A domain equation for bisimulation
@@ Property / cites work: A domain equation for bisimulation / rank @@
+Normal rank
@@ Property / cites work @@
+Q2760240
@@ Property / cites work: Q2760240 / rank @@
+Normal rank
@@ Property / cites work @@
+A Coalgebraic View of Infinite Trees and Iteration
+Normal rank
@@ Property / cites work @@
+Q2760242
@@ Property / cites work: Q2760242 / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation can't be traced
@@ Property / cites work: Bisimulation can't be traced / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Initial Algebra Semantics and Continuous Algebras
@@ Property / cites work: Initial Algebra Semantics and Continuous Algebras / rank @@
+Normal rank
@@ Property / cites work @@
+Q4499306
@@ Property / cites work: Q4499306 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Towards Weak Bisimulation For Coalgebras
@@ Property / cites work: Towards Weak Bisimulation For Coalgebras / rank @@
+Normal rank
@@ Property / cites work @@
+A note on Coinduction and Weak Bisimilarity for While Programs
+Normal rank
@@ Property / cites work @@
+Q4362964
@@ Property / cites work: Q4362964 / rank @@
+Normal rank
@@ Property / cites work @@
+Well-behaved Translations between Structural Operational Semantics
+Normal rank