Nihal Nounou, Yechiam Yemini. Algebraic Specification-Based Performance Analysis of Communication Protocols. In Yechiam Yemini, Robert E. Strom, Shaula Yemini, editors, Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984. pages 541-560, North-Holland, 1984.
@inproceedings{NounouY84,
title = {Algebraic Specification-Based Performance Analysis of Communication Protocols},
author = {Nihal Nounou and Yechiam Yemini},
year = {1984},
tags = {rule-based, protocol, analysis, algebraic specification, algebra},
researchr = {https://researchr.org/publication/NounouY84},
cites = {0},
citedby = {0},
pages = {541-560},
booktitle = {Protocol Specification, Testing and Verification IV, Proceedings of the IFIP WG6.1 Fourth International Workshop on Protocol Specification, Testing and Verification, Skytop Lodge, PA, USA, June 11-14, 1984},
editor = {Yechiam Yemini and Robert E. Strom and Shaula Yemini},
publisher = {North-Holland},
isbn = {0-444-87676-6},
}