@article{Hoare:1978:CSP:359576.359585,
    Address = {New York, NY, USA},
    Author = {Hoare, C. A. R.},
    File = {Communicating sequential processes - Hoare (0) (1) - a - a - w.pdf},
    ISSN = {0001-0782},
    Journal = {Commun. ACM},
    Keywords = {process algebra and classic},
    Month = {August},
    Number = {8},
    Pages = {666--677},
    Publisher = {ACM},
    Title = {Communicating sequential processes},
    URL = {http://doi.acm.org/10.1145/359576.359585},
    Volume = {21},
    Year = {1978},
    acmid = {359585},
    bdsk-url-1 = {http://doi.acm.org/10.1145/359576.359585},
    bdsk-url-2 = {http://dx.doi.org/10.1145/359576.359585},
    date-added = {2012-04-19 22:56:16 +0200},
    date-modified = {2013-01-03 19:50:43 +0000},
    issue_date = {Aug. 1978},
    numpages = {12},
    doi = {10.1145/359576.359585}
}

@article{Hoare:1978:CSP:359576.359585, Address = {New York, NY, USA}, Author = {Hoare, C. A. R.}, File = {Communicating sequential processes - Hoare (0) (1) - a - a - w.pdf}, ISSN = {0001-0782}, Journal = {Commun. ACM}, Keywords = {process algebra and classic}, Month = {August}, Number = {8}, Pages = {666--677}, Publisher = {ACM}, Title = {Communicating sequential processes}, URL = {http://doi.acm.org/10.1145/359576.359585}, Volume = {21}, Year = {1978}, acmid = {359585}, bdsk-url-1 = {http://doi.acm.org/10.1145/359576.359585}, bdsk-url-2 = {http://dx.doi.org/10.1145/359576.359585}, date-added = {2012-04-19 22:56:16 +0200}, date-modified = {2013-01-03 19:50:43 +0000}, issue_date = {Aug. 1978}, numpages = {12}, doi = {10.1145/359576.359585} }