Introduction to the Theory of Nested Transactions
| dc.contributor.author | Lynch, Nancy A. | en_US |
| dc.contributor.author | Merritt, Michael | en_US |
| dc.date.accessioned | 2023-03-29T15:13:41Z | |
| dc.date.available | 2023-03-29T15:13:41Z | |
| dc.date.issued | 1986-07 | |
| dc.identifier.uri | https://hdl.handle.net/1721.1/149635 | |
| dc.description.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. | en_US |
| dc.relation.ispartofseries | MIT-LCS-TR-367 | |
| dc.title | Introduction to the Theory of Nested Transactions | en_US |
| dc.identifier.oclc | 17318661 |
