Mobile Maude


Here you find an implementation of the Mobile Maude language founded on the Russian Dolls framework for reflective distributed objects and the IOP+IMaude environment for interactive Maude specifications.