General parameterised refinement and recursion for the M-net calculus.

Raymond R. Devillers Hanna Klaudel Robert-C. Riemann

Published in: Theor. Comput. Sci. (2003)

Keyphrases

special case
database
data sets
genetic algorithm
expert systems
real time
real world
case study
database systems
multiscale
complex objects
transitive closure