--\begin{algorithm}
--\small
-- shop.vhd
library ieee;
use ieee.std_logic_1164.all;
use work.nondeterminism.all;
use work.channel.all;

entity shop is
  port(wine_delivery:inout channel:=init_channel;
       wine_selling:inout channel:=init_channel);
end shop;

architecture behavior of shop is 
  signal shelf:std_logic_vector(2 downto 0);
begin
shop:process
begin
  receive(wine_delivery,shelf);
  send(wine_selling,shelf);
end process shop;
end behavior;
--\end{algorithm}