formalization and correctness of a concurrency control algorithm for an open and safe nested
sk madria , sn maheshwari , b chandra
proceedings of 8th international conference on management of & hellip ; ,