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 <i>pure functions</i> 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.