Go backward to create(): Lazy Thread Creation (Binding Form) Go up to Basics Go forward to Wait(): Waiting for a Thread Result

start(): Eager Thread Creation (Binding Form)

Specification: Binds t to a thread returning $$f(a$$₁, ..., a$$_n). This binding overrides any previous binding of t.

Implementation: The thread is activated by allocating its stack and putting it into the tail of the ready queue.

Note: This operation is more efficient than the otherwise equivalent form

t = Thread$n$<R, A$$₁, ..., A$$_n>::Start(f$$₁, a$$₁, ..., a$$_n)