[brown9-2]

https://research.google.com/pubs/pub45855.html

[manigandham]

The only important line, which means it's a CP system:

> Even then outages will occur, in which case Spanner chooses consistency over availability.

[dnackoul]

Thanks!