A Formal Model of Crash Recovery in a Distributed Systems (1983)

by Dale Skeen , Michael Stonebraker
Venue:IEEE Transactions on Software Engineering
Citations:67 - 1 self