Computation Of Binomial Coefficients
c[n,0] := 1 || c[n,n] = 1
c[n,k] := c[n-1,k-1] + c[n-1,k] > >
[] - Execute These Statements In Order
|| - Execute These Statements In Parallel
:: - This Parameter Applies To What Follows
Execution Model - Weak Fairness, Select Statements To Execute At Random Subject To Each Must Be Executed Infinitely Often In Infinite Time.
Note: Removal Of "||" From Second Statement Yields Another Valid Program Under "Weak Fairness"