TY - RPRT TI - A Language-theoretic View on Network Protocols AU - Pierre Ganty AU - Boris Köpf AU - Pedro Valero PY - 2017 UR - https://arxiv.org/abs/1610.07198 ID - 1610.07198 ER -