José Meseguer, Peter Csaba Ölveczky, Mark-Oliver Stehr, Carolyn L. Talcott. Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks. In 2002 DARPA Active Networks Conference and Exposition (DANCE 2002), 29-31 May 2002, San Francisco, CA, USA. pages 494-510, IEEE Computer Society, 2002. [doi]
Abstract is missing.