Analyzing Distributive Laws in Concurrent Refinement Algebra

Strengthening theory to support strong distributive laws for concurrent programs.