Abstract state machines capture parallel algorithms: Correction and extension