@article{He20101311,
    Author = {He, Jifeng and Hoare, Tony},
    File = {CSP is a retract of CCS - He, Hoare (0) (0) - a - a - j.pdf},
    ISSN = {0304-3975},
    Journal = {Theoretical Computer Science},
    Keywords = {process algebra},
    Number = {11{\^a}€``13},
    Pages = {1311 - 1337},
    Title = {CSP is a retract of CCS},
    URL = {http://www.sciencedirect.com/science/article/pii/S0304397509008482},
    Volume = {411},
    Year = {2010},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397509008482},
    bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2009.12.012},
    date-added = {2012-04-20 11:30:57 +0200},
    date-modified = {2012-04-20 10:25:27 +0000},
    doi = {10.1016/j.tcs.2009.12.012}
}

@article{He20101311, Author = {He, Jifeng and Hoare, Tony}, File = {CSP is a retract of CCS - He, Hoare (0) (0) - a - a - j.pdf}, ISSN = {0304-3975}, Journal = {Theoretical Computer Science}, Keywords = {process algebra}, Number = {11{\^a}€``13}, Pages = {1311 - 1337}, Title = {CSP is a retract of CCS}, URL = {http://www.sciencedirect.com/science/article/pii/S0304397509008482}, Volume = {411}, Year = {2010}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0304397509008482}, bdsk-url-2 = {http://dx.doi.org/10.1016/j.tcs.2009.12.012}, date-added = {2012-04-20 11:30:57 +0200}, date-modified = {2012-04-20 10:25:27 +0000}, doi = {10.1016/j.tcs.2009.12.012} }