Updated: meaning of concurrent programs

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

Wild Onion

Advertisements