Francisco Durán, Adrián Riesco, Alberto Verdejo
A Distributed Implementation of Mobile Maude
WRLA, 2007.
@article{WRLA-2006-DuranRV07, author = "Francisco Durán and Adrián Riesco and Alberto Verdejo", doi = "10.1016/j.entcs.2007.06.011", journal = "{Electronic Notes in Theoretical Computer Science}", number = 4, pages = "113--131", title = "{A Distributed Implementation of Mobile Maude}", volume = 176, year = 2007, }