A Language-Theoretic View on Network Protocols.

Pierre Ganty, Boris Kpf, Pedro Valero

Browse the full ATVA paper archive.