Takashi's Notes

A Formal Model Of Crash Recovery In A Distributed System

1 min read

Notes

Graph View