Transport Protocol Problems
Go-back-N and selective retransmission
Generation of NACKs on sequence error
- need state associated with place?
- need token state for list of tokens?
- need general fork/join?
Fragmentation with concurrent execution
- factory transition
- re-assembly problem?