|
You are here |
jepsen.io | ||
| | | | |
timilearning.com
|
|
| | | | | Notes from Chapter 9 of Martin Kleppmann's 'Designing Data-Intensive Applications' book. | |
| | | | |
muratbuffalo.blogspot.com
|
|
| | | | | This is part 4 of our "Use of Time in Distributed Databases" series . In this post, we explore how synchronized physical clocks enhance prod... | |
| | | | |
decomposition.al
|
|
| | | | | by Natasha Mittal ? edited by Devashish Purandare and Lindsey Kuper | |
| | | | |
muratbuffalo.blogspot.com
|
|
| | | This work provides a TLA+ formalization of t he state-based isolation model introduced in the PODC 2017 paper. The TLA+ models provided her... | ||