Elements of Stream Calculus (Q4917066): Difference between revisions

@@ Property / author @@
-Q265783
@@ Property / author: Q265783 / rank @@
-Normal rank
@@ Property / author @@
+Jan J. M. M. Rutten
@@ Property / author: Jan J. M. M. Rutten / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992552
@@ Property / cites work: Q3992552 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4375247
@@ Property / cites work: Q4375247 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5574850
@@ Property / cites work: Q5574850 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3994777
@@ Property / cites work: Q3994777 / rank @@
+Normal rank
@@ Property / cites work @@
+Derivatives of Regular Expressions
@@ Property / cites work: Derivatives of Regular Expressions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4769056
@@ Property / cites work: Q4769056 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639639
@@ Property / cites work: Q5639639 / rank @@
+Normal rank
@@ Property / cites work @@
+Combinatorial aspects of continued fractions
@@ Property / cites work: Combinatorial aspects of continued fractions / rank @@
+Normal rank
@@ Property / cites work @@
+Q4320535
@@ Property / cites work: Q4320535 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Generating power of lazy semantics
@@ Property / cites work: Generating power of lazy semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The music of streams
@@ Property / cites work: The music of streams / rank @@
+Normal rank
@@ Property / cites work @@
+Germs and their Operational Calculus
@@ Property / cites work: Germs and their Operational Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Q3992568
@@ Property / cites work: Q3992568 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4938650
@@ Property / cites work: Q4938650 / rank @@
+Normal rank
@@ Property / cites work @@
+Behavioural differential equations: a coinductive calculus of streams, automata, and power series
+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 @@
+On the bisimulation proof method
@@ Property / cites work: On the bisimulation proof method / rank @@
+Normal rank
@@ Property / cites work @@
+Q4080636
@@ Property / cites work: Q4080636 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5647412
@@ Property / cites work: Q5647412 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4324964
@@ Property / cites work: Q4324964 / rank @@
+Normal rank