A distributed implementation of Mobile Maude

In G. Denker and C. Talcott, editors, Proceedings Sixth International Workshop on Rewriting Logic and its Applications, WRLA 2006, ENTCS 176(4), pages 113-131. Elsevier, 2006.

Abstract: We present a new specification/implementation of the mobile agent language Mobile Maude. This new version uses the external sockets provided by Maude since its 2.2 version, thus obtaining a really distributed implementation of the mobile language, where messages and mobile objects now may travel from one machine to another one in a transparent way. We also show how, even though the complexity of the Mobile Maude specification and the use of reflection, we have managed to use the Maude's model checker to prove properties about mobile agents applications.

[pdf]

@inproceedings{DuranRiescoVerdejo06,
	Author = {Francisco Dur\'an and Adri\'an Riesco and Alberto Verdejo},
	Booktitle = {Proceedings Sixth International Workshop on Rewriting Logic and its Applications, WRLA 2006},
	Editor = {Grit Denker and Carolyn Talcott},
	Pages = {113-131},
	Publisher = {Elsevier},
	Series = {Electronic Notes in Theoretical Computer Science},
	Title = {A distributed implementation of {Mobile Maude}},
	Volume = {176(4)},
	Year = {2007}}