Go backward to Start(): Eager Thread Creation Go up to Basics Go forward to start(): Eager Thread Creation (Binding Form)

create(): Lazy 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 not yet activated but is put into the lazy stack.

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

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