Introduction to the Theory of Nested Transactions,” to appear in Theoretical Computer Science. (Also available as technical report MIT/LCS/TR367 (1986)

by N Lynch, M Merritt