Jan Tretmans, Louis Verhaard. A Queue Model Relating Synchronous and Asynchronous Communication. In Richard J. Linn Jr., M. Ümit Uyar, editors, Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992. Volume C-8 of IFIP Transactions, pages 131-145, North-Holland, 1992.
@inproceedings{TretmansV92,
title = {A Queue Model Relating Synchronous and Asynchronous Communication},
author = {Jan Tretmans and Louis Verhaard},
year = {1992},
researchr = {https://researchr.org/publication/TretmansV92},
cites = {0},
citedby = {0},
pages = {131-145},
booktitle = {Protocol Specification, Testing and Verification XII, Proceedings of the IFIP TC6/WG6.1 Twelth International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, USA, 22-25 June 1992},
editor = {Richard J. Linn Jr. and M. Ümit Uyar},
volume = {C-8},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-89874-3},
}