Engr 664: Theory of Concurrent Programming
Fall Semester 2009

Assignment #2
Due Tuesday, 22 September, 8:00 a.m.

• Do exercises 3.2, 3.3, 3.4, and 3.6 on pages 60-1.

• Give an FSP specification for each exercise.

• Test your specifications using LTSA.

• By the due date and time, submit your homework paper in the format described in the syllabus.

UP to ENGR 664 assignments document?