Martin Kot. Modeling real-time database concurrency control protocol two-phase-locking in Uppaal. In Proceedings of the International Multiconference on Computer Science and Information Technology, IMCSIT 2008, Wisla, Poland, 20-22 October 2008. pages 673-678, IEEE, 2008. [doi]
Abstract is missing.