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.