Skip to main content

Introduction to the theory of nested transactions.

01 January 1988

New Image

A new formal model is presented, for studying concurrency and resiliency properties for nested transactions. The model is used to state and prove correctness of a well-known locking algorithm.