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

by M-O Stehr, C L Talcott
Venue:In Gadducci and Montanari [33