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

entity wine_example is
end wine_example;

architecture structure of wine_example is 
  component winery
    port(wine_shipping:inout channel);
  end component;

  component shop
    port(wine_delivery:inout channel;
         wine_selling:inout channel);
  end component;

  component patron 
    port(wine_buying:inout channel);
  end component;

  signal WineryShop:channel:=init_channel;
  signal ShopPatron:channel:=init_channel;
begin
  THE_WINERY:winery
    port map(wine_shipping => WineryShop);
  THE_SHOP:shop
    port map(wine_delivery => WineryShop,
             wine_selling => ShopPatron);
  THE_PATRON:patron
    port map(wine_buying => ShopPatron);
end structure;
--\end{algorithm}