Books on the topic 'Computer network protocols – Specifications'

Tarnay, Katie. Protocol specification and testing. New York: Plenum Press, 1991.

IEEE Computer Society. Technical Committee on Computer Communications., ed. Token-passing bus access method and physical layer specifications: IEEE standards for local area networks. New York, NY, USA: Institute of Electrical and Electronics Engineers, 1985.

Tao, JianYi. Protocol interoperability between DDN and ISO protocols: A study and specification report. Tucson, Ariz: Computer Engineering Research Laboratory, University of Arizona, 1989.

IFIP WG6.1 International Workshop on Protocol Specification, Testing and Verification (5th 1985 Toulouse-Moissac). Protocol specification, testing, and verification, V: Proceedings of the IFIP WG 6.1 fifth International Workshop on Protocol Specification, Testing, and Verification organized by the LAAS du CNRS, Toulouse-Moissac, France, June 10-13, 1985. Amsterdam: North-Holland, 1986.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (6th Montreal, Quebec 1986). Protocol specification, testing and verification, VI: Proceedings of the IFIP WG6.1 sixth International Workshop on Protocol Specification Testing, and Verification organized by Concordia University and Université de Montréal Montreal, Quebec, Canada, June 10-13, 1986. Amsterdam: North-Holland, 1987.

International, Organization for Standardization Technical Committee ISO/TC 46 Documentation SC4/WG4. Documentation, interlibrary loan protocol specification. [S.l: s.n., 1989.

IFIP, WG 6. 1. International Workshop on Protocol Specification Testing and Verification (4th 1984 Skytop Lodge Pa ). Protocol specification, testing, and verification, IV: Proceedings of the IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1985.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (5th 1985 Toulouse, France and Moissac, Tarn-et-Garonne, France). Protocol specification, testing, and verification, V: Proceedings of the IFIP WG 6.1 Fifth International Workshop on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1986.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (6th 1986 Montréal, Québec). Protocol specification, testing, and verification, VI: Proceedings of the IFIP WG 6.1 Sixth International Workshop on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1987.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing, and Verification (7th 1987 Zurich, Switzerland). Protocol specification, testing, and verification, VII: Proceedings of the IFIP WG 6.1 Seventh International Conference on Protocol Specification, Testing, and Verification. Amsterdam: North-Holland, 1987.

IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification (15th 1995 Warsaw, Poland). Protocol specification, testing and verification XV: Proceedings of the fifteenth IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification, Warsaw, Poland, June 1995. London: Chapman & Hall on behalf of the International Federation for Information Processing (IFIP), 1996.

1957-, Jonsson Bengt, Parrow Joachim 1956-, and Pehrson Björn 1944-, eds. Protocol specification, testing, and verification, XI: Proceedings of the IFIP WG 6.1, eleventh International Symposium on Protocol Specification, Testing, and Verification, Stockholm, Sweden, 18-20 June, 1991. Amsterdam: North-Holland, 1991.

IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (13th 1993 Liège, Belgium). Protocol specification, testing and verification, XIII: Proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liège, Belgium, 25-28 May, 1993. Amsterdam: North-Holland, 1993.

Institute Of Electrical and Electronics Engineers. Information technology -- telecommunications and information exchange between systems -- local and metropolitan area networks -- common specifications--: Part 4: system load protocol. New York, N.Y: Institute of Electrical and Electronics Engineers, 1994.

IFIP WG 6.1 International Symposium on Protocol Specification, Testing, and Verification (8th 1988 Atlantic City, N.J.). Protocol specification, testing, and verification, VIII: Proceedings of the IFIP WG 6.1 Eighth International Symposium on Protocol Specification, Testing, and Verification, Atlantic City, New Jersey, USA, June 7-10, 1988. Amsterdam: North-Holland, 1988.

IFIP TC6/WG6.1 International Symposium on Protocol Specification, Testing and Verification. (12th 1992 Lake Buena Vista, Fla.). Protocol specification, testing and verification, XII: Proceedings of the IFIP TC6/WG6.1. twel[f]th International Symposium on Protocol Specification, Testing and Verification, Lake Buena Vista, Florida, U.S.A., 22-25 June, 1992. Amsterdam: North-Holland, 1992.

Richard, Lai. Communication protocol specification and verification. Boston: Kluwer Academic, 1998.

Belina, Ferenc. SDL with applications from protocol specification. Hemel Hempstead, Herfordshire: Prentice Hall International (UK), 1991.

Lai, Richard. Communication Protocol Specification and Verification. Boston, MA: Springer US, 1998.

IFIP, WG 6. 1. International Workshop on Protocol Specification Testing and Verification (10th 1990 Ottawa Canada)). Protocol specification, testing, and verification, X: Proceedings of the IFIP WG 6.1 Tenth International Symposium on Protocol Specification, Testing and Verification, Ottawa, Ontario, Canada, 12-15 June, 1990. Amsterdam: North-Holland, 1990.

IFIP, WG 6. 1. International Workshop on Protocol Specification Testing and Verification (9th 1989 Enschede Pays-Bas). Protocol specification, testing, and verification, IX: Proceedings of the IFIP WG 6.1 Ninth International Symposium on Protocol Specification, Testing and Verification, Enschede, The Netherlands, 6-9 June, 1989. Amsterdam: North-Holland, 1990.

Christensen, Peter Hugh. Specification of Mil-Standard 1553 bus protocol and application to EA-6B communications countermeasures. Monterey, Calif: Naval Postgraduate School, 1989.

Institute Of Electrical and Electronics Engineers. IEEE standards for local and metropolitan area networks: Supplement to token-passing bus access methods and physical layer specifications -- enhancements for physical layer diversity (redundant media control unit). New York, NY: Institute of Electrical and Electronics Engineers, 1992.

IFIP TC 6/WG 6.1 International Symposium on Protocol Specification, Testing and Verification (13th 1993 Liège, Belgium). Protocol specification, testing and verification, XIII: Proceedings of the IFIP TC6/WG6.1. thirteenth International Symposium on Protocol Specification, Testing and Verification, Liége, Belgium, 25-28 May, 1993. Amsterdam: North-Holland, 1993.

), National Information Standards Organization (U S. Information retrieval service and protocol: American national standard for information retrieval service definition and protocol specification for library applications. New Brunswick, N.J., U.S.A: Transaction Publishers, 1989.

), National Information Standards Organization (U S. Information retrieval application service definition and protocol specification: A draft American National Standard. Bethesda, Md., U.S.A: NISO Press, 1994.

Institute Of Electrical and Electronics Engineers. IEEE standards for local and metropolitan area networks: Supplements to distributed queue dual bus (DQDB) access method and physical layer specifications : physical layer convergence procedure (PLCP) for DS1-based systems (Clause 12) and isochronous service on a distributed queue dual bus (DQDB) subnetwork of a metropolitan area network (MAN). New York: Institute of Electrical and Electronics Engineers, 1994.

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocol and Protocol Specification, Testing, and Verification (1998 Paris, France). Formal description techniques and protocol specification, testing, and verification: FORTE XI/PSTV XVIII '98 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XI) and Protocol Specification, Testing, and Verification (PSTV XVIII) : 3-6 November 1998, Paris, France. Boston: Kluwer Academic Publishers, 1998.

IFIP WG 6.1 International Workshop on Protocol Specification, Testing and Verification (4th 1984 Skytop Lodge, Pa.). Protocol specification, testing and verification, IV: Proceedings of the IFIP WG 6.1 fourth International Workshop on Protocol Specification, Testing and Verification, organized by Columbia University, Skytop Lodge, Pennsylvania, U.S.A. June 11-14, 1984. Amsterdam: North-Holland, 1985.

Tadanori, Mizuno, International Federation for Information Processing., and IFIP TC 6/WG 6.1 International Conference on Protocol Specification, Testing and Verification (17th : 1997 : Osaka, Japan), eds. Formal description techniques and protocol specification, testing and verification: FORTE X / PSTV XVII '97 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE X) and Protocol Specification, Testing and Verification (PSTV XVII), 18-21 Nov. 1997, Osaka, Japan. London: Chapman & Hall, 1997.

National Information Standards Organization (U.S.). Information retrieval (Z39.50): Application service definition and protocol specification : an American national standard. Bethesda, Md: NISO Press, 2003.

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China). Formal methods for protocol engineering and distributed systems: FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China. Boston: Kluwer Academic, 1999.

Institute, American National Standards, ed. Information retrieval (Z39.50): Application service definition and protocol specification : approved May 10, 1995 by the American National Standards Institute. Bethesda, Md: NISO Press, 1995.

Reinhard, Gotzhein, Bredereke Jan, International Federation for Information Processing., and IFIP WG 6.1 International Symposium on Protocol Specification, Testing and Verification (16th : 1996 : Kaiserslautern, Germany), eds. Formal description techniques, IX: Theory, application and tools : IFIP TC6 / 6.1 International Conference on Formal Description Techniques IX/Protocol Specification, Testing and Verification XVI, Kaiserslautern, Germany, 8-11 October, 1996. London: published by Chapman & Hall on behalf of the International Federation for Information Processing, 1996.

Network protocols. Hauppauge, N.Y: Nova Science Publishers, 2012.

G, Naugle Matthew, ed. Network protocols. New York: McGraw-Hill, 1999.

IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing, and Verification (1999 Beijing, China). Formal methods for protocol engineering and distributed systems: FORTE XII/PSTV XIX'99 : IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing, and Verification (PSTV XIX) : October 5-8, 1999, Beijing, China. Boston: Kluwer Academic, 1999.

Marsden, Brian W. Communication network protocols. 2nd ed. Bromley, Kent, England: Chartwell-Bratt, 1986.

Marsden, Brian W. Communication network protocols. [Bromley]: Chartwell-Bratt, 1985.

Sunshine, Carl A., ed. Computer Network Architectures and Protocols. Boston, MA: Springer US, 1989. http://dx.doi.org/10.1007/978-1-4613-0809-6.

Communication network protocols: OSI explained. 3rd ed. Bromley, Kent: Chartwell-Bratt, 1991.

Spiropoulos, George. Computer network protocols and protocol proving. Birmingham: University of Birmingham, 1988.

Black, Uyless. Data link protocols. Englewood Cliffs, N.J: PTR Prentice Hall, 1993.

Data link protocols. Englewood Cliffs, N.J: PTR Prentice Hall, 1993.

1971-, Jinmei Tatuya, and Shima Keiichi 1970-, eds. IPv6 advanced protocols implementation. Boston: Morgan Kaufmann Publishers, 2007.

Association, Canadian Standards. Information processing systems, open systems interconnection, basic connection oriented session protocol specification. Rexdale, Ont: The Association, 1988.

Hartpence, Bruce. Packet guide to core network protocols. Sebastopol, Calif: O'Reilly Media, 2011.

Hartpence, Bruce. Packet guide to core network protocols. Sebastopol, Calif: O'Reilly Media, 2011.

S, Mauw, and Veltink G. J, eds. Algebraic specification of communication protocols. Cambridge: Cambridge University Press, 1993.

S, Mauw, and Veltink G. J, eds. Algebraic specification of communication protocols. Cambridge: Cambridge University Press, 1993.