@article{Lanese:2011:EDH:1924653.1924854,
    Address = {Duluth, MN, USA},
    Author = {Lanese, Ivan and P{\'e}rez, Jorge A. and Sangiorgi, Davide and Schmitt, Alan},
    File = {On the Expressiveness and Decidability of Higher-order Process Calculi - Lanese, Pérez, Sangiorgi, Schmitt (0) (0) - a - a - j.pdf},
    ISSN = {0890-5401},
    Journal = {Inf. Comput.},
    Keywords = {Bisimulation, Expressiveness, Higher-order communication, Process calculi},
    Month = {February},
    Number = {2},
    Pages = {198--226},
    Publisher = {Academic Press, Inc.},
    Title = {On the Expressiveness and Decidability of Higher-order Process Calculi},
    URL = {http://dx.doi.org/10.1016/j.ic.2010.10.001},
    Volume = {209},
    Year = {2011},
    acmid = {1924854},
    bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2010.10.001},
    date-added = {2013-12-13 14:53:04 +0000},
    date-modified = {2013-12-13 14:53:04 +0000},
    file-2 = {On the Expressiveness and Decidability of Higher-order Process Calculi - Lanese, Pérez, Sangiorgi, Schmitt (1) (0) - a - a - j.pdf},
    issue_date = {February, 2011},
    numpages = {29},
    doi = {10.1016/j.ic.2010.10.001}
}

@article{Lanese:2011:EDH:1924653.1924854, Address = {Duluth, MN, USA}, Author = {Lanese, Ivan and P{\'e}rez, Jorge A. and Sangiorgi, Davide and Schmitt, Alan}, File = {On the Expressiveness and Decidability of Higher-order Process Calculi - Lanese, Pérez, Sangiorgi, Schmitt (0) (0) - a - a - j.pdf}, ISSN = {0890-5401}, Journal = {Inf. Comput.}, Keywords = {Bisimulation, Expressiveness, Higher-order communication, Process calculi}, Month = {February}, Number = {2}, Pages = {198--226}, Publisher = {Academic Press, Inc.}, Title = {On the Expressiveness and Decidability of Higher-order Process Calculi}, URL = {http://dx.doi.org/10.1016/j.ic.2010.10.001}, Volume = {209}, Year = {2011}, acmid = {1924854}, bdsk-url-1 = {http://dx.doi.org/10.1016/j.ic.2010.10.001}, date-added = {2013-12-13 14:53:04 +0000}, date-modified = {2013-12-13 14:53:04 +0000}, file-2 = {On the Expressiveness and Decidability of Higher-order Process Calculi - Lanese, Pérez, Sangiorgi, Schmitt (1) (0) - a - a - j.pdf}, issue_date = {February, 2011}, numpages = {29}, doi = {10.1016/j.ic.2010.10.001} }