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

@@ 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