Sémantiques des programmes séquentiels et concurrents (DEA'98)
Second part of the course: concurrent languages
Here
is is the whole set of slides for the course. Let me know if there are printing problems.