Francisco Durán, Francisco Gutiérrez, Pablo López, Ernesto Pimentel. On the Formal Analysis of P2P Algorithms with aSMoL and Maude. In Claudia P. Ayala, Simone D. J. Barbosa, Hugo Estrada, Maria Lencastre, Eduardo Figueiredo 0001, editors, Proceedings of the 14th Iberoamerican Conference on Software Engineering, CIbSE 2011, Rio de Janeiro, Brasil, April 27-29, 2011. pages 225-238, 2011.
Abstract is missing.