A Theory Agenda for Component-Based Design (Q5256362): Difference between revisions

@@ Property / describes a project that uses @@
+D-Finder
@@ Property / describes a project that uses: D-Finder / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Ptolemy
@@ Property / describes a project that uses: Ptolemy / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Reo
@@ Property / describes a project that uses: Reo / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W1593175052
@@ Property / OpenAlex ID: W1593175052 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Compositional Verification for Component-Based Systems and Application
+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 @@
+Causal semantics for the algebra of connectors
@@ Property / cites work: Causal semantics for the algebra of connectors / rank @@
+Normal rank
@@ Property / cites work @@
+A framework for automated distributed implementation of component-based models
+Normal rank
@@ Property / cites work @@
+Behaviour, Interaction and Dynamics
@@ Property / cites work: Behaviour, Interaction and Dynamics / rank @@
+Normal rank
@@ Property / cites work @@
+Conflict-Tolerant Features
@@ Property / cites work: Conflict-Tolerant Features / rank @@
+Normal rank
@@ Property / cites work @@
+Event algebra for transition systems composition application to timed automata
+Normal rank
@@ Property / cites work @@
+Connector Rewriting with High-Level Replacement Systems
+Normal rank
@@ Property / cites work @@
+Synthesis from Component Libraries
@@ Property / cites work: Synthesis from Component Libraries / rank @@
+Normal rank
@@ Property / cites work @@
+Calculi for synchrony and asynchrony
@@ Property / cites work: Calculi for synchrony and asynchrony / rank @@
+Normal rank
@@ Property / cites work @@
+Q4248252
@@ Property / cites work: Q4248252 / rank @@
+Normal rank
@@ Property / cites work @@
+Configuration and dynamic reconfiguration of components using the coordination paradigm
+Normal rank
@@ Property / cites work @@
+Feature integration using a feature construct
@@ Property / cites work: Feature integration using a feature construct / rank @@
+Normal rank
@@ Property / cites work @@
+The origins of structural operational semantics
@@ Property / cites work: The origins of structural operational semantics / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:5256362