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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.