Formal specification and analysis of active networks and communication protocols: The Maude experience (2000)

by Grit Denker, Jose Meseguer, Carolyn Talcott
Venue:In Proc. of DISCEX’00