1. https://www.cockroachlabs.com
. Accessed 15 Nov 2018
2. http://galeracluster.com
. Accessed 15 Nov 2018
3. https://github.com/codership/galera/issues/336
. Accessed 15 Nov 2018
4. Abdulla, P.A., Haziza, F., Holík, L.: Parameterized verification through view abstraction. STTT 18(5), 495–516 (2016).
https://doi.org/10.1007/s10009-015-0406-x
5. Abiteboul, S., Hull, R., Vianu, V. (eds.): Foundations of Databases: The Logical Level, 1st edn. Addison-Wesley Longman Publishing Co., Inc., Boston (1995)