@article{Bochmann:1978,
    Author = {Bochmann, Gregor V.},
    File = {Finite state description of communication protocols - Bochmann (0) (0) - a - a - u.pdf},
    ISSN = {0376-5075},
    Journal = {Computer Networks (1976)},
    Keywords = {communicating automata},
    Pages = {361 - 372},
    Title = {Finite state description of communication protocols},
    URL = {http://www.sciencedirect.com/science/article/pii/0376507578900156},
    Volume = {2},
    Year = {1978},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0376507578900156},
    bdsk-url-2 = {http://dx.doi.org/10.1016/0376-5075(78)90015-6},
    date-added = {2012-07-04 19:16:32 +0200},
    date-modified = {2012-07-04 17:17:44 +0000},
    doi = {10.1016/0376-5075(78)90015-6}
}

@article{Bochmann:1978, Author = {Bochmann, Gregor V.}, File = {Finite state description of communication protocols - Bochmann (0) (0) - a - a - u.pdf}, ISSN = {0376-5075}, Journal = {Computer Networks (1976)}, Keywords = {communicating automata}, Pages = {361 - 372}, Title = {Finite state description of communication protocols}, URL = {http://www.sciencedirect.com/science/article/pii/0376507578900156}, Volume = {2}, Year = {1978}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/0376507578900156}, bdsk-url-2 = {http://dx.doi.org/10.1016/0376-5075(78)90015-6}, date-added = {2012-07-04 19:16:32 +0200}, date-modified = {2012-07-04 17:17:44 +0000}, doi = {10.1016/0376-5075(78)90015-6} }