Η βίβλος του concurrent programming είναι το Communicating Sequential Processes του C.A.R. Hoare, ένα βιβλίο που μάλλον θα βρεις στη βιβλιοθήκη του πανεπιστημίου σου. Παρότι είναι γραμμένο εδώ και 20 χρόνια, οι μαθηματικές αρχές που περιγράφει δεν αλλάζουν, και αποτελούν απαραίτητη θεωρητική υποδομή σε οποιονδήποτε θέλει να καταλάβει ουσιαστικά και όχι εμπειρικά το θέμα. Επίσης είναι εξαιρετικά καλογραμμένο και ευχάριστο ανάγνωσμα.
Μπορείς να διαβάσεις λίγα για αυτό στο http://www.amazon.com/gp/product/0131532715/qid=1139231391/sr=1-1/ref=sr_1_1/103-3536749-3284632?s=books&v=glance&n=283155
Νατάσα Μανουσοπούλου