Concurrency and availability as dual properties of replicated atomic data
scientific article; zbMATH DE number 4141468