Producer- Consumer Example using Channels

Producer- Consumer Example using Channels

Producer = Producer’(“a”)

Producer’(ch) = (rotateprod ® chan! ch

® Producer’(succ(ch))

Consumer = (rotatecons ® chan?v

® Consumer)

ChannelDemo = Producer || Consumer

Specification

Demo

Previous slide

Next slide

Back to the first slide

View Graphic Version