source: CIVL/mods/dev.civl.abc/examples/compare/adder_impl.cvl

#include <civlc.cvh>

$input int N;
$output int sum;

void add(int i){
  sum += i;
}

void main(){
  $proc procs[N];

  sum = 0;
  for(int i = 0; i < N; i++)
    procs[i] = $spawn add(i);
  for(int i = 0; i < N; i++)
    $wait(procs[i]);
}