Plan in Maude: Specifying an Active Network Programming Language (2002)

by Mark-Oliver Stehr , Carolyn L. Talcott
Venue:Proc. 4th. Intl. Workshop on Rewriting Logic and its Applications. ENTCS, Elsevier
Citations:11 - 1 self