Behavior refinement
\zline{\fbox{ACT++}}class empty_buffer:bounded_buffer { public: bounded_buffer::put; }; class full_buffer:bounded_buffer { public: bounded_buffer::get; }; class partial_buffer:bounded_buffer { public: bounded_buffer::put; bounded_buffer::get; };