lambda-devs (hackage): The Discrete Event System Sepcification (DEVS) formalism defines discrete event simulation models in a hierachical, modular manner.
Keywords: bsd3|control|library|program|simulation