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

David Spelt, Susan Even. Compensation methods to support cooperative applications: A case study in automated verification of schema requirements for an advanced transaction model. Concurrency - Practice and Experience, 13(11):1013-1032, 2001.

Abstract

Abstract is missing.