Finite state description of communicating protocols (1978)

by G V Bochman
Venue:Comput. Networks