|
You are here |
jepsen.io | ||
| | | | |
hoverbear.org
|
|
| | | | | Learning about Jepsen and doing a survey of published analyses. | |
| | | | |
henrikwarne.com
|
|
| | | | | What a great book Designing Data-Intensive Applications is! It covers databases and distributed systems in clear language, great detail and without any fluff. I particularly like that the author Martin Kleppmann knows the theory very well, but also seems to have a lot of practical experience of the types of systems he describes. There is... | |
| | | | |
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... | ||