Publicaciones en colaboración con investigadores/as de Universidad de Málaga (3)

2015

  1. Equational abstractions in rewriting logic and Maude

    Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

2007

  1. A Distributed Implementation of Mobile Maude

    Electronic Notes in Theoretical Computer Science, Vol. 176, Núm. 4, pp. 113-131

2004

  1. A conference reviewing system in mobile maude

    Electronic Notes in Theoretical Computer Science