Publicaciones en las que colabora con Francisco Durán Muñoz (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