Distributed Implementation of Systems with Multiparty Interactions and Priorities (Q3095232): Difference between revisions

@@ Property / describes a project that uses @@
+MPI
@@ Property / describes a project that uses: MPI / 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.1007/978-3-642-24690-6_5
+Normal rank
@@ Property / OpenAlex ID @@
+W18136791
@@ Property / OpenAlex ID: W18136791 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3768384
@@ Property / cites work: Q3768384 / rank @@
+Normal rank
@@ Property / cites work @@
+Priority Scheduling of Distributed Systems Based on Model Checking
+Normal rank
@@ Property / cites work @@
+Building distributed controllers for systems with priorities
+Normal rank
@@ Property / cites work @@
+Knowledge Based Scheduling of Distributed Systems
@@ Property / cites work: Knowledge Based Scheduling of Distributed Systems / rank @@
+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 @@
+A framework for automated distributed implementation of component-based models
+Normal rank
@@ Property / cites work @@
+Formal Methods for Components and Objects
@@ Property / cites work: Formal Methods for Components and Objects / rank @@
+Normal rank
@@ Property / cites work @@
+A high-performance, portable implementation of the MPI message passing interface standard
+Normal rank
@@ Property / cites work @@
+Q3814780
@@ Property / cites work: Q3814780 / rank @@
+Normal rank
@@ Property / cites work @@
+Think globally, act locally: decentralized supervisory control
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:3095232