Assembly Theories for Communication-Safe Component Systems (Q5170748): Difference between revisions

@@ Property / cites work @@
+On Weak Modal Compatibility, Refinement, and the MIO Workbench
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+Compatibility in a multi-component environment
@@ Property / cites work: Compatibility in a multi-component environment / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473719
@@ Property / cites work: Q4473719 / rank @@
+Normal rank
@@ Property / cites work @@
+Composition for component-based modeling
@@ Property / cites work: Composition for component-based modeling / rank @@
+Normal rank
@@ Property / cites work @@
+Specification of Asynchronous Component Systems with Modal I/O-Petri Nets
+Normal rank
@@ Property / cites work @@
+Modal Interface Theories for Communication-Safe Component Assemblies
+Normal rank
@@ Property / cites work @@
+Modal I/O Automata for Interface and Product Line Theories
+Normal rank