@PHDTHESIS{hamda2018,
url = "http://www.theses.fr/2018USPCC190",
title = "Concurrency, references and linear logic",
author = "Hamdaoui, Yann",
year = "2018",
note = "Thèse de doctorat dirigée par Faggian, Claudia et Valiron, Benoit Informatique. Informatique fondamentale Sorbonne Paris Cité 2018",
note = "2018USPCC190",
url = "http://www.theses.fr/2018USPCC190/document",
}