@incollection{Demangeon_2011,
    doi = {10.1007/978-3-642-23217-6_19},
    url = {https://doi.org/10.1007%2F978-3-642-23217-6_19},
    year = {2011},
    publisher = {Springer Berlin Heidelberg},
    pages = {280--296},
    author = {Romain Demangeon and Kohei Honda},
    title = {Full Abstraction in a Subtyped pi-Calculus with Linear Types},
    booktitle = {{CONCUR} 2011 {\textendash} Concurrency Theory}
}

@incollection{Demangeon_2011, doi = {10.1007/978-3-642-23217-6_19}, url = {https://doi.org/10.1007%2F978-3-642-23217-6_19}, year = {2011}, publisher = {Springer Berlin Heidelberg}, pages = {280--296}, author = {Romain Demangeon and Kohei Honda}, title = {Full Abstraction in a Subtyped pi-Calculus with Linear Types}, booktitle = {{CONCUR} 2011 {\textendash} Concurrency Theory} }