Protocols
Model checking
IP
Abstraction
XTR
Static single assignment form
Software engineering
Computing
Communications protocol
Data transmission