Behavior Specification try for producer/consumer