Constrained Simulations, Nested Simulation Semantics and Counting Bisimulations.
David de Frutos-EscrigCarlos Gregorio-RodríguezPublished in: Electron. Notes Theor. Comput. Sci. (2008)
Keyphrases
- simulation environment
- simulation model
- simulation models
- simulation tools
- compositional semantics
- mathematical analysis
- simulation platform
- molecular dynamics
- numerical analysis
- mathematical model
- computational fluid dynamics
- agent based modeling
- nested relations
- formal semantics
- hierarchical structure
- simulation data
- artificial intelligence
- real time
- molecular dynamics simulations
- semantic representation
- logic programming
- high level
- databases
- data sets