Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
|
sav07_lecture_18 [2007/05/28 22:48] vasu.singh |
sav07_lecture_18 [2007/05/28 22:49] vasu.singh |
||
|---|---|---|---|
| Line 27: | Line 27: | ||
| This suggests that the two programs above are not equivalent for the purpose of reasoning | This suggests that the two programs above are not equivalent for the purpose of reasoning | ||
| in concurrently executing programs. | in concurrently executing programs. | ||
| + | |||
| + | |||
| Line 70: | Line 72: | ||
| { b = x + y } | { b = x + y } | ||
| - | + | while (*) do | |
| - | while (*) do | + | |
| if (*) then | if (*) then | ||
| x++; | x++; | ||
| Line 80: | Line 81: | ||
| endif | endif | ||
| end | end | ||
| - | + | || | |
| - | || | + | |
| while (*) do | while (*) do | ||
| if (*) then | if (*) then | ||
| Line 92: | Line 91: | ||
| endif | endif | ||
| end | end | ||
| - | |||
| { b = x + y } | { b = x + y } | ||