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

@@ 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.1007/3-540-60164-3_17
+Normal rank
@@ Property / OpenAlex ID @@
+W1511705245
@@ Property / OpenAlex ID: W1511705245 / rank @@
+Normal rank
@@ 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
@@ links / mardi / name / links / mardi / name @@
+Publication:5057463