A formal approach to building compositional agent-based simulations

More Info
expand_more