Modelling Adaptive Systems with Nets-Within-Nets in Maude.

Lorenzo Capra, Michael Khler-Bussmeier

Browse the full ENASE paper archive.