1991 · 18 citations · 0 references
ComputingComputer ScienceComputer SystemsDatabasesFormal MethodsConcurrency ControlDatabase ManagementDistributed TransactionsObject-oriented DesignTransaction ManagementTransaction Processing SystemsCorrectness CheckingDatabase TransactionsDistributed Transaction ConsistencyTransaction ProcessingTransactions