Elisa Bertino, Giovanni Chiola, Luigi V. Mancini. Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models. In Jörg Desel, Manuel Silva, editors, Application and Theory of Petri Nets 1998, 19th International Conference, ICATPN 98, Lisbon, Portugal, June 22-26, 1998, Proceedings. Volume 1420 of Lecture Notes in Computer Science, pages 266-285, Springer, 1998. [doi]
Abstract is missing.