Issue 1: Exercise 2.
Status:  Fixed
Owner:
Closed:  Aug 2014
Project Member Reported by sh.ba...@gmail.com, Aug 21, 2014
For each of the following, state whether it is a safety or liveness property. Identify the bad or good thing of interest.

1. Patrons are served in the order they arrive.

2. What goes up must come down.


Figure 1.5 Traditional dining table arrangement according to Dijkstra.

1.8 Exercises 17

3. If two or more processes are waiting to enter their critical sections, at least one

succeeds.

4. If an interrupt occurs, then a message is printed within one second.

5. If an interrupt occurs, then a message is printed.

6. The cost of living never decreases.

7. Two things are certain: death and taxes.

8. You can always tell a Harvard man.

Aug 21, 2014
Project Member #1 sh.ba...@gmail.com
awdcadcadscadca
Status: Fixed
Owner: sergeypr...@gmail.com