Rigorous development of component-based systems using component metadata and patterns (Q333322): Difference between revisions

@@ Property / DOI @@
-.1007/s00165-016-0375-1
@@ Property / DOI: 10.1007/s00165-016-0375-1 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+ArchJava
@@ Property / describes a project that uses: ArchJava / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+FDR3
@@ Property / describes a project that uses: FDR3 / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2345401972
@@ Property / OpenAlex ID: W2345401972 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3046750
@@ Property / cites work: Q3046750 / rank @@
+Normal rank
@@ Property / cites work @@
+Reo: a channel-based coordination model for component composition
+Normal rank
@@ Property / cites work @@
+Component Publications and Compositions
@@ Property / cites work: Component Publications and Compositions / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional Verification for Component-Based Systems and Application
+Normal rank
@@ Property / cites work @@
+A Model of Component-Based Programming
@@ Property / cites work: A Model of Component-Based Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Local and global deadlock-detection in component-based systems are NP-hard
+Normal rank
@@ Property / cites work @@
+rCOS: a refinement calculus of object systems
@@ Property / cites work: rCOS: a refinement calculus of object systems / rank @@
+Normal rank
@@ Property / cites work @@
+Ensuring Properties of Interaction Systems
@@ Property / cites work: Ensuring Properties of Interaction Systems / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to Modelling and Verification of Component Based Systems
+Normal rank
@@ Property / cites work @@
+FDR3 — A Modern Refinement Checker for CSP
@@ Property / cites work: FDR3 — A Modern Refinement Checker for CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Q3777424
@@ Property / cites work: Q3777424 / rank @@
+Normal rank
@@ Property / cites work @@
+Compositional State Space Reduction Using Untangled Actions
+Normal rank
@@ Property / cites work @@
+Q3579033
@@ Property / cites work: Q3579033 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4963909
@@ Property / cites work: Q4963909 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3358683
@@ Property / cites work: Q3358683 / rank @@
+Normal rank
@@ Property / cites work @@
+Robustness in Interaction Systems
@@ Property / cites work: Robustness in Interaction Systems / rank @@
+Normal rank
@@ Property / cites work @@
+A Polynomial-Time Checkable Sufficient Condition for Deadlock-Freedom of Component-Based Systems
+Normal rank
@@ Property / cites work @@
+Everything Is PSPACE-Complete in Interaction Systems
+Normal rank
@@ Property / cites work @@
+A Static Analysis Framework for Livelock Freedom in CSP
+Normal rank
@@ Property / cites work @@
+Confluence Thanks to Extensional Determinism
@@ Property / cites work: Confluence Thanks to Extensional Determinism / rank @@
+Normal rank
@@ Property / cites work @@
+Understanding concurrent systems
@@ Property / cites work: Understanding concurrent systems / rank @@
+Normal rank
@@ Property / cites work @@
+Conformance notions for the coordination of interaction components
+Normal rank
@@ Property / cites work @@
+Q4835262
@@ Property / cites work: Q4835262 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4417622
@@ Property / cites work: Q4417622 / rank @@
+Normal rank
@@ Property / DOI @@
+.1007/S00165-016-0375-1
@@ Property / DOI: 10.1007/S00165-016-0375-1 / rank @@
+Normal rank