Ian A. Mason, Carolyn L. Talcott
Simple Network Protocol Simulation within Maude
WRLA, 2000.
@article{WRLA-2000-MasonT,
author = "Ian A. Mason and Carolyn L. Talcott",
doi = "10.1016/S1571-0661(05)80139-2",
journal = "{Electronic Notes in Theoretical Computer Science}",
pages = "274--291",
title = "{Simple Network Protocol Simulation within Maude}",
volume = 36,
year = 2000,
}