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.

No reviews for this publication, yet.