Course:   E2223 Communication Protocols

Instructor: 

Course:   E2223 Communication Protocols

Instructor:  P. Venkataram, Anandi Giridharan, Department of ECE, IISc, Bangalore.
 
 

                               List of References
 
 

Pallapa Venkataram, Sunil kumar S. Mani and B.Satish Babu, Second Edition   Communication Protocol Engineering, Prentice-Hall of India (PHI), New Delhi, 2014.

Pallapa Venkataram, Sunil kumar S. Mani,   Communication Protocol Engineering, Prentice-Hall of India (PHI), New Delhi, 2004.

1. Stallings W,  Data Computer Communications, Prentice-Hall of India,  New
     Delhi, 1996.

2. Tanenbaum AS,  Computer Networks, Prentice-Hall, New Delhi, 1997.

3. Green PE, Part VII: Formal Specifications and Their Manipulations
     in Computer Architectures and Protocols, Plenum press, New York, 1983.

4. Tarnay K,  Protocol Specification and Testing, Plenum Press, New York, 1991.
 

5. Comer D and Stevens DL, Internetworking with TCP/IP, Prentice-Hall,
    New Delhi, 1995.

6. Budkowski S and Dembinskin P, " An Introduction to Estelle:  A Specification
     Language for Distributed Systems", Computer Networks andISDN Systems, Vol.
     14, 1987, 3-23.

7. Sijelmassi R and Linn JR, "Guidelines for using Estelle to specify OSI services and
     protocols",  Computer Networks and ISDN Systems, Vol. 23, 1992, 343-362.

8. Bolognesi T and Brinksma E, "Introduction to the ISO Specification Language
    LOTOS",  Computer Networks and ISDN Systems, Vol. 14, 1987, 25-59

9. Belina F and Hogrefe D, "The CCITT-Specification and Description Language
     SDL", Computer Networks and ISDN Systems, Vol. 16, 1988/89, 311-341.

10. Bochmann GV, "A Hybrid Model and the Representation of Communication
       Services", in  Computer Architecures and Protocols, Ed. PE. Green, Plenum Press,
       New York, 1983.

11. De A and Venkataram P, "Validation and Termination Detection of Communication
       Protocols by an Expert System", IASTED Proc. on Expert Systems Theory and
      Applications, Acta Press Anaheim, 1990

12. Gouda MG, "Protocol Verification made simple: a tutorial", Computer Networks and
       ISDN Systems, Vol. 25, 1993, 969-980
 

13. Linn RJ, Jr., "Conformance Testing for OSI Protocols", Computer
      Networks and ISDN Systems, Vol. 18, 1989, 203-219

14. Sidhu DP and Leung T, "Formal Methods for Protocol Testing: A detail study",
       IEEE Trans. on Software Engg., Vol. 15, No. 4, April 1989, 413-425

15. Prem Kumar G and Venkataram P, Protocol Test Sequence Generation  using MUIO
       based on TSP problem,  in Computer Networks, Architecture and Applications,
       Eds: SV Raghavan and BN Jain, Chapman-Hall, 1995.

16. Luo G, Bochmann Gv, Dessouli R, Venkataram P, and Ghedamsi A, "Test Gener-
      ation with Respect to Distributed Interfaces", Intl. Jl. of Computer Standards and
      Interfaces, Vol. 16, pp. 119-132, 1994.