Text this: Θέματα ορθότητας ταυτόχρονων αλγορίθμων σε δομές ευρετηρίου