Well, message passing actors have their own theory and calculus (based on particle physics, actually), and there have been "agents" in the form of interprocess mobile code, but the idea of pure functions as messages and the recipient (the so called "agent") being just a dynamically typed blob of data with an associated thread and possible associated watchers - that's new. I don't think it has a theory, yet.
