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

@@ 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