Mark-Oliver Stehr, Carolyn L. Talcott
Plan in Maude: Specifying an Active Network Programming Language
WRLA, 2002.
@article{WRLA-2002-StehrT,
author = "Mark-Oliver Stehr and Carolyn L. Talcott",
doi = "10.1016/S1571-0661(05)82538-1",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "240--260",
title = "{Plan in Maude: Specifying an Active Network Programming Language}",
volume = 71,
year = 2002,
}