A mathematical formalism for agent-based modeling

Re-assign community