Adrian E. Conway, Dragomir D. Dimitrijevic, R. Hwang. Hierarchical Simulation of Layered Protocol Architectures Using Formal Specifications. In Harry G. Perros, Yannis Viniotis, editors, High Speed Networks and Their Performance, Proceedings of the IFIP TC6 Task Force/WG6.4 Fifth International Conference on Data Communication Systems and their Performance, Raleigh, NC, USA, 26-28 October, 1993. Volume C-21 of IFIP Transactions, pages 309-325, North-Holland, 1993.
@inproceedings{ConwayDH93,
title = {Hierarchical Simulation of Layered Protocol Architectures Using Formal Specifications},
author = {Adrian E. Conway and Dragomir D. Dimitrijevic and R. Hwang},
year = {1993},
tags = {protocol, architecture, e-science},
researchr = {https://researchr.org/publication/ConwayDH93},
cites = {0},
citedby = {0},
pages = {309-325},
booktitle = {High Speed Networks and Their Performance, Proceedings of the IFIP TC6 Task Force/WG6.4 Fifth International Conference on Data Communication Systems and their Performance, Raleigh, NC, USA, 26-28 October, 1993},
editor = {Harry G. Perros and Yannis Viniotis},
volume = {C-21},
series = {IFIP Transactions},
publisher = {North-Holland},
isbn = {0-444-81721-2},
}