Modelling Adaptive Systems with Maude Nets-within-Nets.

Lorenzo Capra, Michael Khler-Bumeier

Browse the full WorldCIST paper archive.