We are experiencing minor difficulties with our submission forms, which we are working to resolve. If you have any issues while submitting items, please contact us at dspace-lib@mit.edu.

Introduction to the Theory of Nested Transactions

Thumbnail Image
Download
Name

MIT-LCS-TR-367.pdf

Size

2.63 MB

Format

Adobe PDF

Checksum (MD5)

2307f4eb6000fcb13d217d43c2ab7294

Author(s)
Lynch, Nancy A.
•
Merritt, Michael
Date Issued
July 1986
Series/Report no.
MIT-LCS-TR-367
Abstract
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.
Persistent DSpace Link
PrivacyPermissionsAccessibilityContact us
Notify us about copyright concerns.