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.

Authors

David Spelt

This author has not been identified. Look up 'David Spelt' in Google

Susan Even

This author has not been identified. Look up 'Susan Even' in Google