Agents (from left)

• active
• passive
• hierarchical

• One-way and two-way communication channels.
• Initially activated agents are indicated with underlined identifiers.

A stands for an agent name, p stands for a port name, x stands for a parameter, g, g1, g2,… stand for guards, ms stands for miliseconds.

if (g) {...} 
else {...}

if (g1) {...}
elseif (g2) {...}
elseif (g3) {...}
...
else {...}

loop (g) {...}

loop {...}

loop (every ...) {...}

jump label;

jump far A;

null;

delay miliseconds;

exec x = expression;

in p;

in p x;

out p;

out p x;

select {
  alt (g1) {...}
  alt (g2) {...}
  ...
}

proc (g) p {...}

cli;

sti;

critical {...}

start A;

exit;