Zaslat SMS: Parameterised linearizability