Convenient category of processes and simulations I: Modulo strong bisimilarity (Q5057463): Difference between revisions

@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+A final coalgebra theorem
@@ Property / cites work: A final coalgebra theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Terminal coalgebras in well-founded set theory
@@ Property / cites work: Terminal coalgebras in well-founded set theory / rank @@
+Normal rank
@@ Property / cites work @@
+Bisimulation of automata
@@ Property / cites work: Bisimulation of automata / rank @@
+Normal rank
@@ Property / cites work @@
+Q4342096
@@ Property / cites work: Q4342096 / rank @@
+Normal rank
@@ Property / cites work @@
+Algebra of communicating processes with abstraction
+Normal rank
@@ Property / cites work @@
+Q3995720
@@ Property / cites work: Q3995720 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3862379
@@ Property / cites work: Q3862379 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3978985
@@ Property / cites work: Q3978985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4877444
@@ Property / cites work: Q4877444 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4870809
@@ Property / cites work: Q4870809 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4843177
@@ Property / cites work: Q4843177 / rank @@
+Normal rank