Вы здесь

Главная

тупик

Связанные издания:

A Model of Ada Programs for Static Deadlock Detection in Polynominal Time
A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases
Applications and Theory of Petri Nets: Proc./31st International Conference, PETRI NETS 2010, Braga, Portugal, June 2010
A Transformation System for CLP with Dynamic Scheduling and CCP
Concurrency Control in Distributed Database Systems
Deadlock Detection in Distributed Databases
Deadlock Prevention in a Distributed Database System
Deadlocks and Methods for Their Detection, Prevention and Recovery in Modern Operating Systems
Evaluation of a multiple version scheme for concurrency control
Parallel Cycle Detection in Distributed Databases
Static Deadlock Detection in the Linux Kernel
Testing Deadlock-Freeness in Real-Time Systems: A Formal Approach