Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks (Q2348357): Difference between revisions

@@ Property / author @@
-Spyros A. Reveliotis
@@ Property / author: Spyros A. Reveliotis / rank @@
-Normal rank
@@ Property / author @@
+Spyros A. Reveliotis
@@ Property / author: Spyros A. Reveliotis / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+UMDES
@@ Property / describes a project that uses: UMDES / 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/s10626-014-0202-x
+Normal rank
@@ Property / OpenAlex ID @@
+W2099982284
@@ Property / OpenAlex ID: W2099982284 / rank @@
+Normal rank
@@ Property / cites work @@
+Introduction to Discrete Event Systems
@@ Property / cites work: Introduction to Discrete Event Systems / rank @@
+Normal rank
@@ Property / cites work @@
+On minimal elements of upward-closed sets
@@ Property / cites work: On minimal elements of upward-closed sets / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633643
@@ Property / cites work: Q5633643 / rank @@
+Normal rank
@@ Property / cites work @@
+The Complexity of Trie Index Construction
@@ Property / cites work: The Complexity of Trie Index Construction / rank @@
+Normal rank
@@ Property / cites work @@
+Q3640234
@@ Property / cites work: Q3640234 / rank @@
+Normal rank
@@ Property / cites work @@
+Optimal Liveness-Enforcing Control for a Class of Petri Nets Arising in Multithreaded Software
+Normal rank
@@ Property / cites work @@
+Concurrency bugs in multithreaded software: modeling and analysis using Petri nets
+Normal rank
@@ Property / cites work @@
+Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Nonlinear Case
+Normal rank
@@ Property / cites work @@
+Designing Compact and Maximally Permissive Deadlock Avoidance Policies for Complex Resource Allocation Systems Through Classification Theory: The Linear Case
+Normal rank
@@ Property / cites work @@
+Real-time management of resource allocation systems. A discrete event systems approach.
+Normal rank
@@ Property / cites work @@
+On the Liveness of Guidepath-Based, Zone-Controlled Dynamically Routed, Closed Traffic Systems
+Normal rank
@@ Property / cites work @@
+The residue of vector sets with applications to decidability problems in Petri nets
+Normal rank