Fuyau Lin. Design and Validation of a Message-Passing System. In Jack C. Wileden, editor, Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993. pages 10-19, IEEE Computer Society, 1993.
@inproceedings{Lin93:2,
title = {Design and Validation of a Message-Passing System},
author = {Fuyau Lin},
year = {1993},
tags = {design},
researchr = {https://researchr.org/publication/Lin93%3A2},
cites = {0},
citedby = {0},
pages = {10-19},
booktitle = {Proceedings of the 7th International Workshop on Software Specification and Design, Redondo Beach, CA, December 1993},
editor = {Jack C. Wileden},
publisher = {IEEE Computer Society},
}