130 Introduction to Concurrency in Programming Languages
For example, borrowing an example from Barnes [10], consider a simple task
that represents a container holding a single integer item that waits for an item
when it is empty and waits for another task to retrieve it when it is full.
task Container is
entry PUT(X: ...