scientific article; zbMATH DE number 3359777
From MaRDI portal
Publication:5633643
zbMATH Open0226.68015MaRDI QIDQ5633643FDOQ5633643
M. J. Elphick, E. G. jun. Coffman, A. Shoshani
Publication date: 1971
Title of this publication is not available (Why is that?)
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of operating systems (68N25)
Cited In (40)
- Probabilistic models of computer deadlock
- Analysis of multi-stage open shop processing systems
- Algorithmic type checking for a pi-calculus with name matching and session types
- The geometry of conservative programs
- Reduzierung von Prozeßstauungen vor kritischen Abschnitten mittels Teillistensperrung
- A minimal property for characterizing deadlock-free programs
- Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
- Unique decomposition of homogeneous languages and application to isothetic regions
- Dispatching and coordination in multi-area railway traffic management
- Structure reduction of liveness‐enforcing Petri nets using mixed integer programming
- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
- A characterization of database graphs admitting a simple locking protocol
- Topological rewriting and the geometrization of programming
- Time efficient deadlock resolution algorithms
- And/or-convexity: a graph convexity based on processes and deadlock models
- The Banker's problem with precedences
- Modelling deadlock in open restricted queueing networks
- Effective deadlock resolution with self-interested partially-rational agents
- Stochastic modelling of flexible manufacturing systems
- A model for deadlock detection based on automata and languages theory
- Secure and Conditional Resource Coordination for Successful Collaborations
- Liveness of an extended S\(^{3}\)PR
- Methods and means of parallel processing of information
- Deadlock resolution in wait-for graphs by vertex/arc deletion
- Causing communication closure: safe program composition with reliable non-FIFO channels
- Deadlock checking by data race detection
- Effect-polymorphic behaviour inference for deadlock checking
- Deadlock checking by a behavioral effect system for lock handling
- Natural Homology
- Maximally Permissive Petri Net Supervisors for Flexible Manufacturing Systems with Uncontrollable and Unobservable Transitions
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Fast decentralized algorithms for resolving conflicts and deadlocks in resource allocation in data processing and control systems
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- Deadlock handling for real-time control of AGVs at automated container terminals
- Design of Optimal Petri Net Supervisors for Flexible Manufacturing Systems via Weighted Inhibitor Arcs
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- Directed homology theories and Eilenberg-Steenrod axioms
- Resource Allocation Systems: Some Complexity Results on the S4PR Class
This page was built for publication:
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5633643)
