An Optimal Algorithm for Testing for Safety and Detecting Deadlocks in Locked Transaction Systems.

Eljas Soisalon-Soininen, Derick Wood

Browse the full PODS paper archive.