SMS: Parameterised linearizability