Lock protocol specification in: