Lihua Duan, Jessica Chen. Error-preserving reductions on communication protocols. Softw. Test., Verif. Reliab., 18(1):51-68, 2008. [doi]
@article{DuanC08:0,
title = {Error-preserving reductions on communication protocols},
author = {Lihua Duan and Jessica Chen},
year = {2008},
doi = {10.1002/stvr.385},
url = {http://dx.doi.org/10.1002/stvr.385},
tags = {protocol},
researchr = {https://researchr.org/publication/DuanC08%3A0},
cites = {0},
citedby = {0},
journal = {Softw. Test., Verif. Reliab.},
volume = {18},
number = {1},
pages = {51-68},
}