1 2 3 4 5 6 7 8
module DeCoRAM { interface Worker { void run_task (in double execution_time); void stop (); }; };