====== Sender-Buffer-Receiver system ======

===== Communication diagram =====

{{:alvis:sbr.png|}}

===== Code layer =====

<code>
agent S {
  i :: Int = 1;
  loop {
    i = 1;
    out push i;
  }}  

agent R {
  i :: Int = 0;
  loop {
    in pop i;
    i = 0;
  }}

agent B {
  i :: Int = 0;
  proc (i /= 0) pop { out pop i; i = 0; }
  proc (i == 0) push { in push i; }}
</code>

===== LTS (alpha^0 system layer) =====

  * {{:alvis:sbr-lts.zip|}}