UP

Let BSMC be the byte stream monitor creator.

BSMC(0;SB,M,BSP,MB ==> c;MBSP) "Create Byte Stream Producer Monitor"

BSMC(1,(4,limit);SB,M,BSC,MB ==> c;MBSC) "Create Byte Stream Consumer Monitor"

BSMC(kt;==>c;) returns loose end in c.