Engr 664: Concurrent Programming
Fall Semester 1997
Homework Assignments

1. Assignment #1
2. Assignment #2
3. Assignment #3
4. Assignment #4
5. Assignment #5

UP to ENGR 664 root document?

Assignment #1, Due Tuesday, 2 September, 9:30 a.m.

Do exercise 1.1 on page 49 of the Andrews textbook.

I plan to discuss this exercise in class on the due date. Thus I will not accept any late homeworks.

UP to ENGR 664 root document?

Assignment #2, Due Tuesday, 16 September, 9:30 a.m.

• Do exercise 1.12 on page 51 of the Andrews textbook.

• Do exercise 1.15(a), (c), and (d) on page 52 of the Andrews textbook. Do a proof outline for each and identify the proof obligations. It is not necessary to do a "detailed proof in the PL that the triple is a theorem". Of course, you need to be able to argue correctly that your proof obligations do indeed hold.

UP to ENGR 664 root document?

Assignment #3, Due Thursday, 1 October, 9:30 a.m.

All references below are to the Andrews textbook.

• Do exercise 2.1 on page 89.

• Do exercises 2.5 (c), (e), (f) on page 90.

• Do exercise 2.11 on page 91.

UP to ENGR 664 root document?