Formal specification and analysis of active networks and communication protocols: The maude experience (0)

by G Denker, J Meseguer, C Talcott
Venue:DARPA Information Survivability Conference and Exposition,, 2000. Anduo Wang Carolyn Talcott Limin Jia Boon Thau Loo Andre Scedrov