Keyword: parallel

Definition Parallel Composition in CostM formalized

Example Worked Example: Balanced Parallel Sum Depth formalized

Example Worked Example: N-ary parList Depth Bound formalized