Formalization of Data Flow Computing and a Coinductive Approach to Verifying Flowware Synthesis (Q3506397): Difference between revisions

@@ Property / cites work @@
+SystemC: From the Ground Up
@@ Property / cites work: SystemC: From the Ground Up / rank @@
+Normal rank
@@ Property / cites work @@
+Handbook of Nature-Inspired and Innovative Computing
+Normal rank
@@ Property / cites work @@
+Q4935249
@@ Property / cites work: Q4935249 / rank @@
+Normal rank
@@ Property / cites work @@
+Laws of programming
@@ Property / cites work: Laws of programming / rank @@
+Normal rank
@@ Property / cites work @@
+Simulations in coalgebra
@@ Property / cites work: Simulations in coalgebra / rank @@
+Normal rank
@@ Property / cites work @@
+Q4738115
@@ Property / cites work: Q4738115 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4355684
@@ Property / cites work: Q4355684 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4251915
@@ Property / cites work: Q4251915 / rank @@
+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 @@
+Elements of Stream Calculus
@@ Property / cites work: Elements of Stream Calculus / rank @@
+Normal rank
@@ Property / cites work @@
+Q5701837
@@ Property / cites work: Q5701837 / rank @@
+Normal rank
@@ Property / cites work @@
+Reconfigurable computing for digital signal processing: A survey
+Normal rank