TY - JOUR
TI - A Formal Model of Crash Recovery in a Distributed System
T2 - IEEE Transactions on Software Engineering
SP - 219
EP - 228
AU - D. Skeen
AU - M. Stonebraker
PY - 1983
KW - transaction management
KW - Commit protocols
KW - crash recovery
KW - distributed database systems
KW - distributed systems
KW - fault tolerance
DO - 10.1109/TSE.1983.236608
JO - IEEE Transactions on Software Engineering
IS -
SN - 0098-5589
VO - 10.1109/TSE.1983.236608
VL - 9
JA - IEEE Transactions on Software Engineering
Y1 - May 1983
ER -