@article{Sangiorgi:1998:BPM:967294.967295,
    Address = {New York, NY, USA},
    Author = {Sangiorgi, Davide},
    File = {On the bisimulation proof method - Sangiorgi (0) (0) - a - a - v.pdf},
    ISSN = {0960-1295},
    Journal = {Mathematical. Structures in Comp. Sci.},
    Keywords = {bisimulation equivalence},
    Month = {October},
    Number = {5},
    Pages = {447--479},
    Publisher = {Cambridge University Press},
    Title = {On the bisimulation proof method},
    URL = {http://dx.doi.org/10.1017/S0960129598002527},
    Volume = {8},
    Year = {1998},
    acmid = {967295},
    bdsk-url-1 = {http://dx.doi.org/10.1017/S0960129598002527},
    date-added = {2012-10-05 14:13:21 +0000},
    date-modified = {2012-10-05 14:14:46 +0000},
    issue_date = {October 1998},
    numpages = {33},
    doi = {10.1017/S0960129598002527}
}

@article{Sangiorgi:1998:BPM:967294.967295, Address = {New York, NY, USA}, Author = {Sangiorgi, Davide}, File = {On the bisimulation proof method - Sangiorgi (0) (0) - a - a - v.pdf}, ISSN = {0960-1295}, Journal = {Mathematical. Structures in Comp. Sci.}, Keywords = {bisimulation equivalence}, Month = {October}, Number = {5}, Pages = {447--479}, Publisher = {Cambridge University Press}, Title = {On the bisimulation proof method}, URL = {http://dx.doi.org/10.1017/S0960129598002527}, Volume = {8}, Year = {1998}, acmid = {967295}, bdsk-url-1 = {http://dx.doi.org/10.1017/S0960129598002527}, date-added = {2012-10-05 14:13:21 +0000}, date-modified = {2012-10-05 14:14:46 +0000}, issue_date = {October 1998}, numpages = {33}, doi = {10.1017/S0960129598002527} }