@article{Hennessy:Timed:1995,
    Author = {Hennessy, M. and Regan, T.},
    File = {A Process Algebra for Timed Systems - Hennessy, Regan (0) (0) - a - a - d.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {timed process algebra},
    Number = {2},
    Pages = {221 - 239},
    Title = {A Process Algebra for Timed Systems},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540185710413},
    Volume = {117},
    Year = {1995},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540185710413},
    bdsk-url-2 = {http://dx.doi.org/10.1006/inco.1995.1041},
    date-added = {2012-07-04 16:04:25 +0200},
    date-modified = {2012-07-04 18:07:47 +0000},
    doi = {10.1006/inco.1995.1041}
}

@article{Hennessy:Timed:1995, Author = {Hennessy, M. and Regan, T.}, File = {A Process Algebra for Timed Systems - Hennessy, Regan (0) (0) - a - a - d.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {timed process algebra}, Number = {2}, Pages = {221 - 239}, Title = {A Process Algebra for Timed Systems}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540185710413}, Volume = {117}, Year = {1995}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540185710413}, bdsk-url-2 = {http://dx.doi.org/10.1006/inco.1995.1041}, date-added = {2012-07-04 16:04:25 +0200}, date-modified = {2012-07-04 18:07:47 +0000}, doi = {10.1006/inco.1995.1041} }