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

@@ Property / DOI @@
-.1016/j.jlap.2010.10.001
@@ Property / DOI: 10.1016/j.jlap.2010.10.001 / rank @@
-Normal rank
@@ Property / describes a project that uses @@
+LOTOS
@@ Property / describes a project that uses: LOTOS / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jlap.2010.10.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2024159530
@@ Property / OpenAlex ID: W2024159530 / rank @@
+Normal rank
@@ 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
@@ Property / DOI @@
+.1016/J.JLAP.2010.10.001
@@ Property / DOI: 10.1016/J.JLAP.2010.10.001 / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:541297