@article{Meyer:2009:TSS:1530159.1530162,
    Address = {Secaucus, NJ, USA},
    Author = {Meyer, Roland},
    ISSN = {0001-5903},
    Journal = {Acta Inf.},
    Keywords = {pi-calculus and Petri nets},
    Month = {March},
    Number = {2},
    Pages = {87--137},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {A theory of structural stationarity in the -Calculus},
    URL = {http://dx.doi.org/10.1007/s00236-009-0091-x},
    Volume = {46},
    Year = {2009},
    acmid = {1530162},
    bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-009-0091-x},
    date-added = {2013-08-29 09:40:58 +0000},
    date-modified = {2013-08-29 09:41:21 +0000},
    issue_date = {March 2009},
    numpages = {51},
    doi = {10.1007/s00236-009-0091-x}
}

@article{Meyer:2009:TSS:1530159.1530162, Address = {Secaucus, NJ, USA}, Author = {Meyer, Roland}, ISSN = {0001-5903}, Journal = {Acta Inf.}, Keywords = {pi-calculus and Petri nets}, Month = {March}, Number = {2}, Pages = {87--137}, Publisher = {Springer-Verlag New York, Inc.}, Title = {A theory of structural stationarity in the -Calculus}, URL = {http://dx.doi.org/10.1007/s00236-009-0091-x}, Volume = {46}, Year = {2009}, acmid = {1530162}, bdsk-url-1 = {http://dx.doi.org/10.1007/s00236-009-0091-x}, date-added = {2013-08-29 09:40:58 +0000}, date-modified = {2013-08-29 09:41:21 +0000}, issue_date = {March 2009}, numpages = {51}, doi = {10.1007/s00236-009-0091-x} }