====== Communication with a passive agent ======


{{ :alvis:t012.png?320 |}}

<code>
agent A, C {
  x :: Int = 5;
  out q x;       -- 1
}

agent B {
  x :: Int = 0;
  proc p1 { 
    in p1 x;     -- 1
    exit;        -- 2
  }
  proc p2 { 
    in p2 x;     -- 3
    exit;        -- 4
  }
}
</code>

{{ :alvis:t012lts.png |}}