scientific article; zbMATH DE number 3359777
From MaRDI portal
Publication:5633643
Cited in
(42)- A characterization of database graphs admitting a simple locking protocol
- Methods and means of parallel processing of information
- Stochastic modelling of flexible manufacturing systems
- Probabilistic models of computer deadlock
- Reduzierung von Prozeßstauungen vor kritischen Abschnitten mittels Teillistensperrung
- Time efficient deadlock resolution algorithms
- A minimal property for characterizing deadlock-free programs
- And/or-convexity: a graph convexity based on processes and deadlock models
- Directed homology theories and Eilenberg-Steenrod axioms
- Modelling deadlock in open restricted queueing networks
- Fast decentralized algorithms for resolving conflicts and deadlocks in resource allocation in data processing and control systems
- Effective deadlock resolution with self-interested partially-rational agents
- Dispatching and coordination in multi-area railway traffic management
- A multistep look-ahead deadlock avoidance policy for automated manufacturing systems
- Maximally permissive deadlock avoidance for resource allocation systems with R/W-locks
- A model for deadlock detection based on automata and languages theory
- Causing communication closure: safe program composition with reliable non-FIFO channels
- Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving
- Deadlock resolution in wait-for graphs by vertex/arc deletion
- Deadlock handling for real-time control of AGVs at automated container terminals
- Analysis of multi-stage open shop processing systems
- Algorithmic type checking for a pi-calculus with name matching and session types
- Real-time deadlock-free scheduling for semiconductor track systems based on colored timed Petri nets
- Effect-polymorphic behaviour inference for deadlock checking
- Secure and conditional resource coordination for successful collaborations
- Natural Homology
- On structural minimality of optimal supervisors for flexible manufacturing systems
- Resource Allocation Systems: Some Complexity Results on the S4PR Class
- Deadlock checking by a behavioral effect system for lock handling
- Design of optimal Petri net supervisors for flexible manufacturing systems via weighted inhibitor arcs
- Unique decomposition of homogeneous languages and application to isothetic regions
- Deadlock checking by data race detection
- The geometry of conservative programs
- Maximally permissive liveness-enforcing supervisor with lowest implementation cost for flexible manufacturing systems
- Maximally permissive Petri net supervisors for flexible manufacturing systems with uncontrollable and unobservable transitions
- Structure reduction of liveness-enforcing Petri nets using mixed integer programming
- The Banker's problem with precedences
- A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
- Non-Hausdorff parallelized manifolds over geometric models of conservative programs
- Avoiding deadlocks via weak deadlock sets
- Topological rewriting and the geometrization of programming
- Liveness of an extended S\(^{3}\)PR
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)
