Santiago Escobar, Catherine Meadows, José Meseguer, Sonia Santiago. A rewriting-based forwards semantics for Maude-NPA. In Laurie A. Williams, David M. Nicol, Munindar P. Singh, editors, Proceedings of the 2014 Symposium and Bootcamp on the Science of Security, HotSoS 2014, Raleigh, NC, USA, April 08 - 09, 2014. pages 3, ACM, 2014. [doi]
Abstract is missing.