Skip to main content
Parallel composition describes independent branches. In public PCD examples, represent parallel work as separate values with no shared mutation: 
PC sizes {
    fn sizes(left, right) {
        let left_size = MC_43.LEN(left);
        let right_size = MC_43.LEN(right);
        let total = MC_00.ADD8(left_size, right_size);
        return total;
    }
}

​
Review Points

  • Branches use independent inputs.
  • No branch mutates state needed by another branch.
  • The merge step is explicit.
  • The final result is named or returned.

​
Review Guidance

Only describe branches as parallel when they do not depend on each other’s intermediate state.