Hierarchical Simulation of Layered Protocol Architectures Using Formal Specifications

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.

Abstract

Abstract is missing.