@article{TribastoneGilmoreHillston:TSE:2012,
    Author = {Tribastone, Mirco and Gilmore, Stephen and Hillston, Jane},
    File = {Scalable Differential Analysis of Process Algebra Models - tribastone2012.pdf},
    Journal = {IEEE Transactions on Software Engineering},
    Number = {1},
    Pages = {205--219},
    Title = {Scalable Differential Analysis of Process Algebra Models},
    Volume = {38},
    Year = {2012},
    bdsk-url-1 = {https://doi.org/10.1109/TSE.2010.82},
    date-added = {2023-08-26 11:26:41 +0200},
    date-modified = {2023-08-26 11:37:40 +0200},
    doi = {10.1109/TSE.2010.82}
}

@article{TribastoneGilmoreHillston:TSE:2012, Author = {Tribastone, Mirco and Gilmore, Stephen and Hillston, Jane}, File = {Scalable Differential Analysis of Process Algebra Models - tribastone2012.pdf}, Journal = {IEEE Transactions on Software Engineering}, Number = {1}, Pages = {205--219}, Title = {Scalable Differential Analysis of Process Algebra Models}, Volume = {38}, Year = {2012}, bdsk-url-1 = {https://doi.org/10.1109/TSE.2010.82}, date-added = {2023-08-26 11:26:41 +0200}, date-modified = {2023-08-26 11:37:40 +0200}, doi = {10.1109/TSE.2010.82} }