Review 4

For review 4, please submit an answer to question 2.5 of Chapter 2 of the Concurrency textbook. Be sure to submit both your FSP specification and a drawing of your specification's state machine diagram. You can, of course, copy the state machine produced by LTSA.

Please submit your work by uploading either a .pdf document containing your answers to this question. Do NOT submit .doc, .docx, .odt, or other document formats.

In-class students: Submit your work for this assignment by 11:55 PM on Saturday, February 9th.

CAETE students: Submit your work for this assignment by 11:55 PM on Saturday, February 16th.

Kenneth M. Anderson, 2008.