Resource control for synchronous cooperative threads (Q2503040): Difference between revisions

@@ Property / describes a project that uses @@
+Erlang
@@ Property / describes a project that uses: Erlang / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+ULM
@@ Property / describes a project that uses: ULM / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / cites work @@
+Q4457446
@@ Property / cites work: Q4457446 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4681361
@@ Property / cites work: Q4681361 / rank @@
+Normal rank
@@ Property / cites work @@
+Computer Science Logic
@@ Property / cites work: Computer Science Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Foundations of Software Science and Computation Structures
+Normal rank
@@ Property / cites work @@
+A new recursion-theoretic characterization of the polytime functions
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Q4475109
@@ Property / cites work: Q4475109 / rank @@
+Normal rank
@@ Property / cites work @@
+Quasi-interpretations. A way to control resources
@@ Property / cites work: Quasi-interpretations. A way to control resources / rank @@
+Normal rank
@@ Property / cites work @@
+Programming Languages and Systems
@@ Property / cites work: Programming Languages and Systems / rank @@
+Normal rank
@@ Property / cites work @@
+Clocks in dataflow languages
@@ Property / cites work: Clocks in dataflow languages / rank @@
+Normal rank
@@ Property / cites work @@
+Synchronous Kahn networks
@@ Property / cites work: Synchronous Kahn networks / rank @@
+Normal rank
@@ Property / cites work @@
+Q5586401
@@ Property / cites work: Q5586401 / rank @@
+Normal rank
@@ Property / cites work @@
+The strength of non-size increasing computation
@@ Property / cites work: The strength of non-size increasing computation / rank @@
+Normal rank
@@ Property / cites work @@
+Q4265595
@@ Property / cites work: Q4265595 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Static Scheduling of Synchronous Data Flow Programs for Digital Signal Processing
+Normal rank
@@ Property / cites work @@
+Q4850553
@@ Property / cites work: Q4850553 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2763627
@@ Property / cites work: Q2763627 / rank @@
+Normal rank
@@ Property / cites work @@
+Q2729049
@@ Property / cites work: Q2729049 / rank @@
+Normal rank