Analysis of Cilk. A Formal Model for Cilk A thread: maximal sequence of instructions in a procedure instance (at runtime!) not containing spawn, sync,
