Decidable verification under a causally consistent shared memory
Distribution of the number of citations over years.