Este documento describe varios aspectos de la capa de enlace de datos en las comunicaciones. Explica conceptos como detección y corrección de errores, protocolos elementales de enlace de datos como símplex y protocolos de ventana corrediza. También cubre temas como verificación de protocolos usando máquinas de estado finito y redes de Petri. Finalmente, presenta ejemplos de protocolos de enlace de datos como HDLC y PPP.