Synchronous structures (Q2500524): Difference between revisions

@@ Property / author @@
-David E. Nowak
@@ Property / author: David E. Nowak / rank @@
-Normal rank
@@ Property / author @@
+David E. Nowak
@@ Property / author: David E. Nowak / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Coq
@@ Property / describes a project that uses: Coq / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+SIGNAL
@@ Property / describes a project that uses: SIGNAL / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / 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 / full work available at URL @@
+https://doi.org/10.1016/j.ic.2001.05.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2912169573
@@ Property / OpenAlex ID: W2912169573 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositionality in dataflow synchronous languages: Specification and distributed code generation
+Normal rank
@@ Property / cites work @@
+Synchronous programming with events and relations: The SIGNAL language and its semantics
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Clocks in dataflow languages
@@ Property / cites work: Clocks in dataflow languages / rank @@
+Normal rank
@@ Property / cites work @@
+Q4284985
@@ Property / cites work: Q4284985 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5639839
@@ Property / cites work: Q5639839 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4270076
@@ Property / cites work: Q4270076 / rank @@
+Normal rank
@@ Property / cites work @@
+Petri nets: applications and relationships to other models of concurrency. Advances in Petri nets 1986, Part II. Proceedings of an advanced course, Bad Honnef, September 8--19, 1986
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:2500524