Sign in

A Fast Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems.

Witold Lipski Jr.Christos H. Papadimitriou
Published in: J. Algorithms (1981)
Keyphrases