Principles of Concurrent and Distributed Programming

Errata for Principles of Concurrent and Distributed Programming

I would like to thank Pieter Hartel for finding these errors.

Page 62, Figure 5.1: Before
```
Signal(Not_Full)
```
insert the statement
```
Count := Count + 1
```
and before
```
Signal(Not_Empty)
```
insert the statement
```
Count := Count - 1
```
Page 65, equation 5.2 should be: S = S0 - #Semaphore_Waits + #Semaphore_Signals.

Page 67, line 16:

If C_Counter > 0 then

should be

If C_Count > 0 then