Stav dette: Parameterised linearizability