- Introduction pp.2-26
- Protocol Structre pp.27-45
- Error Control pp.46-62
- Flow Control pp.63-71i
- CFSM paper pp.72-76
- Structured Partition Method pp.81-95
- Homework#1 - X.25 example
- Structured Partition example
- Protocol conversion, Boosters
- Systems of Communicating Machines example
- SCM example: Analyzing a CSMA/CD protocol
- SCM example: Alternating Bit Protocol
- Midterm
- Midterm answer discussed.
- Petri net example
- Homework#2 explained
- Petri Net example (2)
- Simple Programming Language: P96-118
- Stabilizing Alternating-bit protocol
- Contention Protocols: P1-P5
- The X.25 Protocols: P6-P30
- TCP/IP Protocol: P31-38