Sidebar

Main

Internal

Trace:

Trace: • active2passive1

Communication with a passive agent

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