PLAN in MAUDE: Specifying an active network programming language (0)

by M O Stehr, C Talcott
Venue:Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS