@article{Stribrna:1997,
    title = {Decidability of strong bisimulation of basic parallel processes using Hilbert’s basis theorem},
    volume = {9},
    issn = {1571-0661},
    url = {http://dx.doi.org/10.1016/s1571-0661(05)80431-1},
    doi = {10.1016/s1571-0661(05)80431-1},
    journal = {Electronic Notes in Theoretical Computer Science},
    publisher = {Elsevier BV},
    author = {Stríbrná, Jitka},
    year = {1997},
    pages = {44},
    date-added = {2025-4-17 14:37:15 +0100}
}

@article{Stribrna:1997, title = {Decidability of strong bisimulation of basic parallel processes using Hilbert’s basis theorem}, volume = {9}, issn = {1571-0661}, url = {http://dx.doi.org/10.1016/s1571-0661(05)80431-1}, doi = {10.1016/s1571-0661(05)80431-1}, journal = {Electronic Notes in Theoretical Computer Science}, publisher = {Elsevier BV}, author = {Stríbrná, Jitka}, year = {1997}, pages = {44}, date-added = {2025-4-17 14:37:15 +0100} }