@article{HuttelKobayashiSuto:IC:2009,
    doi = {10.1016/j.ic.2008.12.011},
    url = {https://doi.org/10.1016%2Fj.ic.2008.12.011},
    year = {2009},
    month = {jul},
    publisher = {Elsevier {BV}},
    volume = {207},
    number = {7},
    pages = {812--829},
    author = {Hans Hüttel and Naoki Kobayashi and Takashi Suto},
    title = {Undecidable equivalences for basic parallel processes},
    journal = {Information and Computation},
    date-added = {2023-11-10 9:19:47 +0100}
}

@article{HuttelKobayashiSuto:IC:2009, doi = {10.1016/j.ic.2008.12.011}, url = {https://doi.org/10.1016%2Fj.ic.2008.12.011}, year = {2009}, month = {jul}, publisher = {Elsevier {BV}}, volume = {207}, number = {7}, pages = {812--829}, author = {Hans Hüttel and Naoki Kobayashi and Takashi Suto}, title = {Undecidable equivalences for basic parallel processes}, journal = {Information and Computation}, date-added = {2023-11-10 9:19:47 +0100} }