Grit Denker, Jonathan K. Millen, Antonio Grau, Juliana Küster Filipe. Optimizing Protocol Rewrite Rules of CIL Specifications. In CSFW. pages 52-62, 2000. [doi]
@inproceedings{DenkerMGF00,
title = {Optimizing Protocol Rewrite Rules of CIL Specifications},
author = {Grit Denker and Jonathan K. Millen and Antonio Grau and Juliana Küster Filipe},
year = {2000},
url = {http://www.computer.org/proceedings/csfw/0671/06710052abs.htm},
tags = {optimization, rule-based, protocol, graph-rewriting, rules, rewriting},
researchr = {https://researchr.org/publication/DenkerMGF00},
cites = {0},
citedby = {0},
pages = {52-62},
booktitle = {CSFW},
}