Email Record: Concurrent programming: algorithms, principles, and foundations /