Back to index

ACTA: A Framework for Specifying and Reasoning about Transaction Structure and Behaviour

Panayiotis K. Chrysanthis and Krithi Ramamritham

Summary by: Steve Gribble and Armando Fox

One-line summary: ACTA is a formalizable framework developed for characterizing the entire spectrum of transaction models and interactions - a unification of all possible models.


Fairly nice characterization of access semantics of transactions.


Overview/Main Points

Back to index