Login / Signup

Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model.

David SpeltSusan Even
Published in: Concurr. Comput. Pract. Exp. (2001)
Keyphrases
  • cooperative
  • transaction model
  • data model
  • automated verification
  • database
  • databases
  • expert systems
  • business process