Safety by Uninterpreted Locks

    Research output: Contribution to journalArticleScientificpeer-review

    Original languageEnglish
    Pages (from-to)37-49
    JournalInformation and Computation
    Volume117
    Issue number1
    Publication statusPublished - 1995
    MoE publication typeA1 Journal article-refereed

    Keywords

    • database concurrency control
    • theory of locking

    Cite this