Feedback in Synchronous Relational Interfaces (Q5170752): Difference between revisions

@@ Property / describes a project that uses @@
+Esterel
@@ Property / describes a project that uses: Esterel / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+D-Finder
@@ Property / describes a project that uses: D-Finder / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-54848-2_17
+Normal rank
@@ Property / OpenAlex ID @@
+W186275034
@@ Property / OpenAlex ID: W186275034 / rank @@
+Normal rank
@@ Property / cites work @@
+The Algebra of Connectors—Structuring Interaction in BIP
+Normal rank
@@ Property / cites work @@
+A Notion of Glue Expressiveness for Component-Based Systems
+Normal rank
@@ Property / cites work @@
+A framework for automated distributed implementation of component-based models
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+The semantics and execution of a synchronous block-diagram language.
+Normal rank
@@ Property / cites work @@
+Composition for component-based modeling
@@ Property / cites work: Composition for component-based modeling / rank @@
+Normal rank
@@ Property / cites work @@
+A fully abstract trace model for dataflow and asynchronous networks
+Normal rank
@@ Property / cites work @@
+Property preserving abstractions for the verification of concurrent systems
+Normal rank
@@ Property / cites work @@
+Compositional specification of timed systems
@@ Property / cites work: Compositional specification of timed systems / rank @@
+Normal rank