The Mathematical Foundation of Distributed Systems

There is a mathematical foundation to functional programming that makes it work. But we don't have to understand the math in order to get use out of Monads. So this kind of a math analysis of it could allow you to compose distributed components.