•Two sets:
•Parallel set PS(f) ={(pf, ptid) |  all threads with tid >= ptid in function pf is parallel with the running thread of f}
•Children set CS(f)={fid | fid is the descendant of current function }
•
•Operations:
•Spawn: Thread Tx of function Fi spawn function Fj
• Operations on child Fj
•
•
•
• Operations on parent Fi
•
•