Updated: meaning of concurrent programs

June 4th, 2008  ()  software engineering › admin › 1 Comment

Updated rough draft available with thrilling descriptions of atomic compare and swap and some comments on “formal methods”. Bonus photo