Introduction to Protocol Engineering

Protocol Specification and Verification

Link to viewgraphs on protocol specification and verifiation (old) html format
Link to new viewgraphs on protocol specification and verifiation(no content change except the last page on exercise 2) in pdf file format.
Reachability Analysis a power point presentation.
Exercise 2: reachability analysis example and simulating the operation of alterating bit protocol that can handle channels that lose messages. This is hw2 of F2001 semester.

Link to protocol implementation, which introduces socket API, discuss datagram/stream socket stup and their difference, select() for multiplex I/O, mapping CFSM to c code.
An Advanced 4.3BSD Interprocess Communication Tutorial by Samuel J. Leffler et al, a local copy at http://cs.uccs.edu/~cs522/project/socket/ipc-tutorial.pdf
An Introduction to Socket Programming (by) Reg Quinton http://www.uwo.ca/its/doc/courses/notes/socket/index.html
Berkeley UNIX† System Calls and Interprocess Communication by Lawrence Besaw, a local copy at http://cs.uccs.edu/~cs522/project/socket/sock.pdf
Beej's Guide to Network Programming, http://www.ecst.csuchico.edu/~beej/guide/net/html/
list of textbook on socket programming, http://pont.net/socket/socket.books.html
Example of equivalent java code for hw4, sender.java/channel.java/message.java code written by Jason Dinger is in http://cs.uccs.edu/~cs522/project/socket/altbitjava/
http://cs.uccs.edu/~chow/pub/abmt/abmt0.1/ABWPlot/
contains ABWPlot.java which receives datagram packets and plot on screen the bandwidth measurement results contain in those packets.