Update ScribeNotes_Concurrency.tex