@article{AMADIO200266,
    Abstract = {We study the decidability of a reachability problem for various fragments of the asynchronous {$\pi$}-calculus. We consider the combination of three main features: name generation, name mobility, and unbounded control. We show that the combination of name generation with either name mobility or unbounded control leads to an undecidable fragment. On the other hand, we prove that name generation without name mobility and with bounded control is decidable by reduction to the coverability problem for Petri Nets.},
    Author = {Amadio, Roberto M. and Meyssonnier, Charles},
    File = {On the decidability of fragments of the asynchronous {$\pi$}-calculus - 1-s2.0-S1571066104002178-main - a - a - v.pdf},
    ISSN = {1571-0661},
    Journal = {Electronic Notes in Theoretical Computer Science},
    Note = {EXPRESS'01, 8th International Workshop on Expressiveness in Concurrency (Satellite Event of CONCUR 2001)},
    Number = {1},
    Pages = {66 - 82},
    Title = {On the decidability of fragments of the asynchronous {$\pi$}-calculus},
    URL = {http://www.sciencedirect.com/science/article/pii/S1571066104002178},
    Volume = {52},
    Year = {2002},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104002178},
    bdsk-url-2 = {https://doi.org/10.1016/S1571-0661(04)00217-8},
    date-added = {2019-10-14 14:03:10 +0200},
    date-modified = {2019-10-14 14:03:10 +0200},
    doi = {10.1016/S1571-0661(04)00217-8}
}

@article{AMADIO200266, Abstract = {We study the decidability of a reachability problem for various fragments of the asynchronous {$\pi$}-calculus. We consider the combination of three main features: name generation, name mobility, and unbounded control. We show that the combination of name generation with either name mobility or unbounded control leads to an undecidable fragment. On the other hand, we prove that name generation without name mobility and with bounded control is decidable by reduction to the coverability problem for Petri Nets.}, Author = {Amadio, Roberto M. and Meyssonnier, Charles}, File = {On the decidability of fragments of the asynchronous {$\pi$}-calculus - 1-s2.0-S1571066104002178-main - a - a - v.pdf}, ISSN = {1571-0661}, Journal = {Electronic Notes in Theoretical Computer Science}, Note = {EXPRESS'01, 8th International Workshop on Expressiveness in Concurrency (Satellite Event of CONCUR 2001)}, Number = {1}, Pages = {66 - 82}, Title = {On the decidability of fragments of the asynchronous {$\pi$}-calculus}, URL = {http://www.sciencedirect.com/science/article/pii/S1571066104002178}, Volume = {52}, Year = {2002}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S1571066104002178}, bdsk-url-2 = {https://doi.org/10.1016/S1571-0661(04)00217-8}, date-added = {2019-10-14 14:03:10 +0200}, date-modified = {2019-10-14 14:03:10 +0200}, doi = {10.1016/S1571-0661(04)00217-8} }