S51_BoundedBuffer implements Section 5.1 Bounded Buffer "Construct a buffering process X to smooth variations in the speed of output of portions by a producer process and input by a consumer process. The consumer contains pairs of commands X!more();X?p, and the producer contains commands of the form
()
source not stored for this graph (policy: none)
no outgoing calls