a <- channel("a");
c1 <- channel("c1");
c2 <- channel("c2");

FUNC  cal(ch,exp) : INT
STATE  let ( x = send(ch,exp) )
         in receive(a);