@phdthesis(phd:demangeon,
 author       = "R. Demangeon",
 year         = "2010",
 title        = "Terminaison des syst{\`e}mes concurrents",
 school       = "{ENS L}yon",
)
@inproceedings(DBLP:conf/tgc/DemangeonHKS07,
 author       = "R. Demangeon and D. Hirschkoff and N. Kobayashi and D. Sangiorgi",
 year         = "2007",
 title        = "On the Complexity of Termination Inference for Processes",
 booktitle    = "Proc. of {TGC}'07",
 series       = "LNCS",
 volume       = "4912",
 publisher    = "Springer",
 pages        = "140--155",
 doi          = "10.1007/978-3-540-78663-4\_11",
)
@inproceedings(DBLP:conf/birthday/DemangeonHS09,
 author       = "R. Demangeon and D. Hirschkoff and D. Sangiorgi",
 year         = "2009",
 title        = "Mobile {P}rocesses and {T}ermination",
 booktitle    = "Semantics and {A}lgebraic {S}pecification",
 series       = "{LNCS}",
 volume       = "5700",
 publisher    = "Springer",
 pages        = "250--273",
 doi          = "10.1007/978-3-642-04164-8\_13",
)
@inproceedings(demangeon:hirschkoff:sangiorgi:concur10,
 author       = "R. Demangeon and D. Hirschkoff and D. Sangiorgi",
 year         = "2010",
 title        = "Termination in {I}mpure {C}oncurrent {L}anguages",
 booktitle    = "Proc. of {CONCUR}'10",
 series       = "LNCS",
 volume       = "6269",
 publisher    = "Springer",
 pages        = "328--342",
 doi          = "10.1007/978-3-642-15375-4\_23",
)
@article(deng:sangiorgi:termination:IC,
 author       = "Y. Deng and D. Sangiorgi",
 year         = "2006",
 title        = "Ensuring termination by typability",
 journal      = "Inf. Comput.",
 volume       = "204",
 number       = "7",
 pages        = "1045--1082",
 doi          = "10.1016/j.ic.2006.03.002",
)
@article(DBLP:journals/mscs/HennessyR04,
 author       = "M. Hennessy and J. Rathke",
 year         = "2004",
 title        = "Typed behavioural equivalences for processes in the presence of subtyping",
 journal      = "Math. {S}tr. in {C}omp. {S}c.",
 volume       = "14",
 number       = "5",
 pages        = "651--684",
 doi          = "10.1017/S0960129504004281",
)
@article(DBLP:journals/iandc/IgarashiK00,
 author       = "A. Igarashi and N. Kobayashi",
 year         = "2000",
 title        = "Type Reconstruction for Linear -Calculus with I/O Subtyping",
 journal      = "Inf. Comput.",
 volume       = "161",
 number       = "1",
 pages        = "1--44",
 doi          = "10.1006/inco.2000.2872",
)
@article(DBLP:journals/toplas/KobayashiS10,
 author       = "N. Kobayashi and D. Sangiorgi",
 year         = "2010",
 title        = "A hybrid type system for lock-freedom of mobile processes",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "32",
 number       = "5",
 doi          = "10.1145/1745312.1745313",
)
@misc(erlang:website,
 author       = "Ericsson Computer Science Laboratory",
 year         = "2011",
 title        = "Erlang Programming Language Website",
 howpublished = "\url {http://www.erlang.org}",
)
@misc(jocaml,
 author       = "L. Mandel and L. Maranget",
 year         = "2010",
 title        = "The {J}o{C}aml programming language",
 howpublished = "\url {http://jocaml.inria.fr/}",
)
@article(DBLP:journals/mscs/PierceS96,
 author       = "B. C. Pierce and D. Sangiorgi",
 year         = "1996",
 title        = "Typing and Subtyping for Mobile Processes",
 journal      = "Math. Structures in Comput. Sci.",
 volume       = "6",
 number       = "5",
 pages        = "409--453",
)
@article(sangiorgi:mscs:termination,
 author       = "D. Sangiorgi",
 year         = "2006",
 title        = "Termination of {P}rocesses",
 journal      = "Math. {S}tructures in {C}omput. {S}ci",
 volume       = "16",
 number       = "1",
 pages        = "1--39",
 doi          = "10.1017/S0960129505004810",
)
@book(SW01,
 author       = "D. Sangiorgi and D. Walker",
 year         = "2001",
 title        = "The $\pi $-calculus: a {T}heory of {M}obile {P}rocesses",
 publisher    = "{C}ambridge {U}niv. {P}ress",
)
@inproceedings(DBLP:conf/concur/VasconcelosH93,
 author       = "V. T. Vasconcelos and K. Honda",
 year         = "1993",
 title        = "Principal Typing Schemes in a Polyadic pi-Calculus",
 booktitle    = "Proc. of {CONCUR}'93",
 series       = "Lecture Notes in Computer Science",
 volume       = "715",
 publisher    = "Springer",
 pages        = "524--538",
 doi          = "10.1007/3-540-57208-2\_36",
)
@article(yoshida:berger:honda:termination:ic,
 author       = "N. Yoshida and M. Berger and K. Honda",
 year         = "2004",
 title        = "Strong {N}ormalisation in the {P}i-{C}alculus.",
 journal      = "Information and {C}omputation",
 volume       = "191",
 number       = "2",
 pages        = "145--202",
 doi          = "10.1016/j.ic.2003.08.004",
)