-------------------------------------------------------------------------------
M. G. Gouda                                                   CS 356
Fall 2004                                                     Homework 1
-------------------------------------------------------------------------------

1. Solve Problem 7 in Chapter 2.

-------------------------------------------------------------------------------
   
2. Solve Problem 7 in Chapter 3.

-------------------------------------------------------------------------------

3. Solve Problem 24 in Chapter 4.

-------------------------------------------------------------------------------

4. Modify the Request-Reply protocol that we discussed in class as follows.
   If process p sends a request message to q, it waits to receive a reply
   from q before it sends a second request to q and before it reply to
   any request from q. Process p has two boolean variables named ready, 
   whose initial value is true, and rcvd, whose initial value is false. 
   Process q remains unchanged as in the original protocol. Specify process p
   in the modified protocol using the AP notation.

-------------------------------------------------------------------------------

5. Construct a state-transition diagram for the modified Request-Reply
   Protocol in Problem 4. 
 
-------------------------------------------------------------------------------