A denotational theory of synchronous reactive systems (Q1193599): Difference between revisions

@@ Property / describes a project that uses @@
+LUSTRE
@@ Property / describes a project that uses: LUSTRE / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Lucid
@@ Property / describes a project that uses: Lucid / 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 @@
+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 @@
+Theory of traces
@@ Property / cites work: Theory of traces / rank @@
+Normal rank
@@ Property / cites work @@
+Lucid—A Formal System for Writing and Proving Programs
+Normal rank
@@ Property / cites work @@
+Q3678639
@@ Property / cites work: Q3678639 / rank @@
+Normal rank
@@ Property / cites work @@
+Hybrid dynamical systems theory and the Signal language
+Normal rank
@@ Property / cites work @@
+The Esterel synchronous programming language: Design, semantics, implementation
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+A functional model for describing and reasoning about time behaviour of computing systems
+Normal rank
@@ Property / cites work @@
+Statecharts: a visual formalism for complex systems
+Normal rank
@@ Property / cites work @@
+Q3703299
@@ Property / cites work: Q3703299 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4054644
@@ Property / cites work: Q4054644 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4138147
@@ Property / cites work: Q4138147 / rank @@
+Normal rank
@@ Property / cites work @@
+Testing and generating infinite sequences by a finite automaton
+Normal rank
@@ Property / cites work @@
+Q4049307
@@ Property / cites work: Q4049307 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3657409
@@ Property / cites work: Q3657409 / rank @@
+Normal rank