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;
  };
  

slide: Refinement in ACT++