×

zbMATH — the first resource for mathematics

Dynamic structures in modeling and simulation: a reflective approach. (English) Zbl 1390.68746

MSC:
68U20 Simulation (MSC2010)
68Q60 Specification and verification (program logics, model checking, etc.)
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
93A30 Mathematical modelling of systems (MSC2010)
93C65 Discrete event control/observation systems
PDF BibTeX XML Cite
Full Text: DOI