@article{Lasota:TCS:2006,
    doi = {10.1016/j.tcs.2006.02.020},
    url = {https://doi.org/10.1016%2Fj.tcs.2006.02.020},
    year = {2006},
    month = {aug},
    publisher = {Elsevier {BV}},
    volume = {360},
    number = {1-3},
    pages = {172--192},
    author = {S{\l}awomir Lasota},
    title = {Decidability of performance equivalence for basic parallel processes},
    journal = {Theoretical Computer Science},
    date-added = {2023-11-10 9:4:10 +0100}
}

@article{Lasota:TCS:2006, doi = {10.1016/j.tcs.2006.02.020}, url = {https://doi.org/10.1016%2Fj.tcs.2006.02.020}, year = {2006}, month = {aug}, publisher = {Elsevier {BV}}, volume = {360}, number = {1-3}, pages = {172--192}, author = {S{\l}awomir Lasota}, title = {Decidability of performance equivalence for basic parallel processes}, journal = {Theoretical Computer Science}, date-added = {2023-11-10 9:4:10 +0100} }