UNU/IIST International Institute for Software Technology UNU/IIST Report No. 325 T Lecture Notes on Programming Concurrent Computer Systems Zhiming Liu May 2005