Modeling Communications Protocols by Automata

Alfred V. Aho, Jeffrey D. Ullman, Mihalis Yannakakis

Browse the full FOCS paper archive.