@inproceedings{Lange:2017:UAS:3080372.3080405,
    Address = {New York, NY, USA},
    Author = {Lange, Julien and Yoshida, Nobuko},
    BookTitle = {Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 10203},
    File = {DTRS16-9 (0) - a - a - m.pdf},
    ISBN = {978-3-662-54457-0},
    Pages = {441--457},
    Publisher = {Springer-Verlag New York, Inc.},
    Title = {On the Undecidability of Asynchronous Session Subtyping},
    URL = {https://doi.org/10.1007/978-3-662-54458-7\_26},
    Year = {2017},
    acmid = {3080405},
    bdsk-url-1 = {https://doi.org/10.1007/978-3-662-54458-7\_26},
    bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-662-54458-7\_26},
    date-added = {2017-11-28 12:12:58 +0000},
    date-modified = {2017-11-28 12:12:58 +0000},
    numpages = {17},
    doi = {10.1007/978-3-662-54458-7_26}
}

@inproceedings{Lange:2017:UAS:3080372.3080405, Address = {New York, NY, USA}, Author = {Lange, Julien and Yoshida, Nobuko}, BookTitle = {Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures - Volume 10203}, File = {DTRS16-9 (0) - a - a - m.pdf}, ISBN = {978-3-662-54457-0}, Pages = {441--457}, Publisher = {Springer-Verlag New York, Inc.}, Title = {On the Undecidability of Asynchronous Session Subtyping}, URL = {https://doi.org/10.1007/978-3-662-54458-7_26}, Year = {2017}, acmid = {3080405}, bdsk-url-1 = {https://doi.org/10.1007/978-3-662-54458-7_26}, bdsk-url-2 = {http://dx.doi.org/10.1007/978-3-662-54458-7_26}, date-added = {2017-11-28 12:12:58 +0000}, date-modified = {2017-11-28 12:12:58 +0000}, numpages = {17}, doi = {10.1007/978-3-662-54458-7_26} }