Login / Signup
Ω Line Problem in Optimistic Log-Based Rollback Recovery Protocol.
MaengSoon Baik
SungJin Choi
Chong-Sun Hwang
Joon-Min Gil
Chan Yeol Park
HeonChang Yoo
Published in:
IEICE Trans. Inf. Syst. (2004)
Keyphrases
</>
failure recovery
coloured petri nets
lightweight
formal analysis
cryptographic protocols
main memory databases
log records
tcp ip
low overhead
application layer
recovery algorithm