linearizability

property of some operation(s) in concurrent programming