> I would still consider CSP, Petri Nets, and Pi-Calculus mathematical enough to be wrapped under a mathematics price if they're influential enough.

I guess, but they certainly feel categorically different than something like Runge-Kutta. They're more about the study of algorithms, which is generally where I've drawn the line of "computer science vs math".