Outer Web | Explore

Explore >> Select a destination

You are here		aphyr.com Strong consistency models
\|	\|	jepsen.io Consistency Models	1.1 parsecs away Travel
\|	\|		1.1 parsecs away Travel
\|	\|	blog.thislongrun.com The unclear CP vs. CA case in CAP	4.8 parsecs away Travel
\|	\|	CAP theorem: explains the difference between CA and CP. Shows how the database consistency impacts the application.	4.8 parsecs away Travel
\|	\|	muratbuffalo.blogspot.com Automated Validation of State-Based Client-Centric Isolation with TLA+ (2021)	4.4 parsecs away Travel
\|	\|	This work provides a TLA+ formalization of t he state-based isolation model introduced in the PODC 2017 paper. The TLA+ models provided her...	4.4 parsecs away Travel
\|	\|	pavan-kalyan.dev Pavan Kalyan's Blog \| Transaction Isolation Levels Are A Confusing Mess	18.4 parsecs away Travel
\|			18.4 parsecs away Travel