RT DF A1 Severson, Eric E. T1 Advances in Discrete Chemical Computation: Algorithms, Lower Bounds, and Software for Population Protocols