Building distributed controllers for systems with priorities (Q541297): Difference between revisions

@@ Property / cites work @@
+Priority Scheduling of Distributed Systems Based on Model Checking
+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 @@
+FM 2005: Formal Methods
@@ Property / cites work: FM 2005: Formal Methods / rank @@
+Normal rank
@@ Property / cites work @@
+Capturing Conflict and Confusion in CSP
@@ Property / cites work: Capturing Conflict and Confusion in CSP / rank @@
+Normal rank
@@ Property / cites work @@
+Structured Communication-Centred Programming for Web Services
+Normal rank
@@ Property / cites work @@
+Composition for component-based modeling
@@ Property / cites work: Composition for component-based modeling / rank @@
+Normal rank
@@ Property / cites work @@
+An Approach to Modelling and Verification of Component Based Systems
+Normal rank
@@ Property / cites work @@
+Communicating sequential processes
@@ Property / cites work: Communicating sequential processes / rank @@
+Normal rank
@@ Property / cites work @@
+A calculus of communicating systems
@@ Property / cites work: A calculus of communicating systems / rank @@
+Normal rank
@@ Property / cites work @@
+Contract-Directed Synthesis of Simple Orchestrators
+Normal rank
@@ Property / cites work @@
+Supervisory Control of a Class of Discrete Event Processes
+Normal rank
@@ Property / cites work @@
+Know means no: Incorporating knowledge into discrete-event control systems
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank