Semi-automatic implementation of OSI protocols

Zimmerman, 1980, OSI Reference Model - The ISO Model of Architecture for Open System Interconnection, IEEE Trans. Comm., 28, 425, 10.1109/TCOM.1980.1094702 Bochmann, 1980, A General Transition Model for Protocols and Communication Services, IEEE Trans. Comm., 28, 643, 10.1109/TCOM.1980.1094696 Pozefsky, 1982, A Meta-implementation for System Network Architecture, IEEE Trans. Comm., 30, 1348, 10.1109/TCOM.1982.1095591 Nash, 1983, Automated Implementation of SNA Communication Protocols, 1316 Schultz, 1980, Executable Description and Validation of SNA, IEEE Trans. Comm., 28, 661, 10.1109/TCOM.1980.1094695 Blumer, 1982, A Formal Specification Technique and Implementation Method for Protocols, Comput. Networks, 6, 201 Blumer, 1986, Mechanical verification and automatic implementation of Communication Protocols, IEEE Trans. Software Engrg., 12, 827, 10.1109/TSE.1986.6312985 Sidhu, 1985, Some Problems with the Specification of the Military Standard Internet Protocol, Network Working Group Blumer, 1984, Some Problems with the Specification of the Military Standard Transmission Control Protocol Blumer, 1985, Network Working Group Phoenix Technologies Ltd, 1986 Sidhu, 1989, A Formal Description Technique for Protocol Engineering, UMBC Technical Report NBS, 1987, User Guide for the NBS Prototype Compiler for Estelle, NBS Report No. ICST/SNA-87/3 Linn, 1988, An Application of Formal Description Techniques to the Specification of Multi-layered Test Systems Bochmann, 1987, Semiautomatic Implementation of Communication Protocols, IEEE Trans. Software Engrg., 13, 989, 10.1109/TSE.1987.233521 Vuong, 1988, Semiautomatic Implementation of Protocols Using an Estelle-C compiler, IEEE Trans. Software Engrg., 14, 384, 10.1109/32.4658 Claes, 1988, User Guide for the Bull Estelle-to-C Compiler, Technical Report Lenotre, 1987, The Estelle-to-ML Generator Reference Document, Technical Report, SEDOS 116 Anderson, 1988, Automated Protocol Implementation with RTAG, IEEE Trans. Software Engrg., 14, 291, 10.1109/32.4650 Sidhu, 1986, Verification of NBS Class 4 Transport Protocol, IEEE Trans. Comm., 34, 781, 10.1109/TCOM.1986.1096629 Sidhu, 1983, An Automated Protocol Development System Simon, 1982, An Extended Finite State Machine Approach to Protocol Specification, 465 Breslin, 1983 International Organization for Standardization (ISO), 1989, Information Processing Systems - Open Systems Interconnections - Estelle - A Formal Description Technique Based on an Extended State Transition Model, ISO 9074 International Organization for Standardization (ISO), 1988, Information Processing Systems - Open Systems Interconnections - LOTOS - A Formal Description Technique Based on the Temporal Ordering of Observational Behaviour, ISO 8807 Rayner, 1987, OSI Conformance Testing, Comput. Networks ISDN Systems, 14, 79, 10.1016/0169-7552(87)90087-0 Sidhu, 1989, Experience with Formal Methods in Protocol Development (invited paper)