@article{BRAVETTI2017300,
    Author = {Bravetti, Mario and Carbone, Marco and Zavattaro, Gianluigi},
    File = {1-s2.0-S0890540117301190-main (0) - a - a - f.pdf},
    ISSN = {0890-5401},
    Journal = {Information and Computation},
    Keywords = {Session types, Subtyping, Undecidability, Queue machines},
    Number = {Supplement C},
    Pages = {300 - 320},
    Title = {Undecidability of asynchronous session subtyping},
    URL = {http://www.sciencedirect.com/science/article/pii/S0890540117301190},
    Volume = {256},
    Year = {2017},
    bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540117301190},
    bdsk-url-2 = {https://doi.org/10.1016/j.ic.2017.07.010},
    date-added = {2017-11-28 12:14:18 +0000},
    date-modified = {2017-11-28 12:14:18 +0000},
    file-2 = {1611.05026 (0) - a - a - f.pdf},
    doi = {10.1016/j.ic.2017.07.010}
}

@article{BRAVETTI2017300, Author = {Bravetti, Mario and Carbone, Marco and Zavattaro, Gianluigi}, File = {1-s2.0-S0890540117301190-main (0) - a - a - f.pdf}, ISSN = {0890-5401}, Journal = {Information and Computation}, Keywords = {Session types, Subtyping, Undecidability, Queue machines}, Number = {Supplement C}, Pages = {300 - 320}, Title = {Undecidability of asynchronous session subtyping}, URL = {http://www.sciencedirect.com/science/article/pii/S0890540117301190}, Volume = {256}, Year = {2017}, bdsk-url-1 = {http://www.sciencedirect.com/science/article/pii/S0890540117301190}, bdsk-url-2 = {https://doi.org/10.1016/j.ic.2017.07.010}, date-added = {2017-11-28 12:14:18 +0000}, date-modified = {2017-11-28 12:14:18 +0000}, file-2 = {1611.05026 (0) - a - a - f.pdf}, doi = {10.1016/j.ic.2017.07.010} }