Specifying an active network programming language (2002)

by M Stehr, C Talcott, PLAN in Maude
Venue:Electronic Notes in theoretical Computer Science 71