Maude Specification of Nets-Within-Nets: A Formal Model of Adaptable Distributed Systems.

Lorenzo Capra, Michael Khler-Bumeier

Browse the full SAC paper archive.