8/9: As shown in the "Calendar" page, the final exam of this course will
 take place at 1:30pm on Aug. 10 in AQ5016.

8/8: Due to oversight on my part, the first part of the lecture slides for
 2.threads was available only as 2.threads.pdf, and the second part was
 available only as 2.threads.ps. Now, the two parts are available both in
 .pdf and .ps. They have been renamed as 2.threads1.[pdf, ps] and
 2.threads2.[pdf, ps].

8/2: The complete lecture notes for Chaps. 4, 5 and 6 are now available.
 See ch?.pdf. The section numbering does not correspond to those in the
 Powerpoint slides.

7/24: Project presentations:
 Jul24: (1) Philip Leung+Benjamin Fung
 July 26: (1) Ronnie Mueller; (2) Xinyue Liu;
 July 31: ABS9705
   (1) Yong Wang; (2) Tim Beamish+Soleil Lapierre;
   (3) Ramin Afshar+Homayoun Afshar
 Aug 2: ASB9705
   (1) Dulce Aguilar-Salis; (2) Ken Wing Kuen Lee; (3) Rony She+Senqiang Zhou;
   (4) Chao Li; (5) Justin Chen

7/10: Please sign up for your project demos during the last two weeks
 of classes, 3 presentations/day.

7/9: 6.clocks.[pdf, ps] are now available.

7/5: 5.stable.[pdf, ps] and 6.snap.[pdf, ps] are now available.

6/21: I am thinking of giving the final exam on Aug. 7th, which is
the first possible date, since Aug. 6th is the BC Day.  If you have
any conflict, let me know ASAP.

6/14: 4.sendReceive.pdf, 4.sockets.pdf, 4.sendReceive.ps, and 4.sockets.ps
 are now posted.

6/11: The calendar in the course Web page has been updated. The slide
 images for tomorrow's lecture are new available.

6/7: 3.CDs.pdf and 3.CDs.ps are now posted.

6/6: The first two sets (the second one being for tomorrow's lecture) of
 handouts for Chap. 3 are now available in both .pdf and .ps formats.

 Click "Final Project" to find a list of suggested topics, in case
 you cannot come up with some topic on your own.
 The list may give you some idea on how much work might be expected to
 complete a project.

6/5: 2.unix.[ps/pdf] and 3.dDrivers.[ps/pdf] are now available.

5/21: Slide annotations for Chapters 1--5 of the book by MaGee is now
 in LectureNotes/slideAnnotations1.pdf.  A short slideAnnotations2.pdf is also
 posted; it will be expanded later.

5/10: Mark distribution is Final 50%, Project 40% Presentation 10%, as shown in
 the course outline in the course Web page.  Please ignore the distribution
 in the old course outline.

4/26: Welcome to CMPT760!  Pls. read this file every time you sign on.
All announcements regarding the course will be made here.

You may want to visit the Web site for the book "Concurrency" by Mcgee and
Kramer by following the links: "Useful Links"/"Concurrency:...".  To
download the LTSA package, follow the following steps:

1) Follow the downloading steps given in the book's web page.
2) Install the package in your PC.
3) Click on the "LTS Analyser" icon. [A Java applet window opens.]
4) Click on the "File" menu and select "Open". [A list of folders in the
 "Examples" folder will be displayed.]
5) Double-click on any chapter. [Several programs written in a certain
 language will be shown.]
6) Double-click on any one of them. [The selected program will be displayed.]
7) Click on the pull-down menu "Check" and choose "Run/Default" to run the
 program.  [A new window with the title bar "Animator" will pop up. The
 possible transitions are displayed in a right-hand column in the window,
 with tick marks for the enabled transitions in the current state.]
8) Click on the pull-down menu "Window" and choose "Diagram". [A new window,
 showing a state diagram for the program, will pop up.]
9) Go back to the "Animator" window, and click on any tick mark to cause
 the corresponding enabled transition. [The name of the clicked transition
 will show up in the left-hand column, and a new set of enabled transitions
 will be indicated.]
10) Repeat step 10 as many times as you like.
11) When you get tired of it, choose "Safety", "Progress", or "Reachable"
 in the pull-down menu "Check". [The system exhaustively explore all
 possibilities to discover the specified properties of the program.]