Clarification on Problem 2 of Homework 1

Problem 2 of the current homework assignment asks you to model a variable using a FSP process and gives an example trace of such a system. Last year, some students working on this problem thought that they needed to write an FSP specification that generated the output of the provided trace. That is not the case... you want to create a process specification that models the semantics of a variable, which loosely stated is: when I perform a read on the variable, I get the value that was last written to the variable.

Hope this helps, and send me e-mail if it doesn't!

Kenneth M. Anderson, 2008.