Nested Transactions and Reliable Distributed Computing