Jean Krivine. Algèbres de Processus Réversibles. (Reversible Process Algebra). PhD thesis, Pierre and Marie Curie University, Paris, France, 2006. [doi]
@phdthesis{hal-7875,
title = {Algèbres de Processus Réversibles. (Reversible Process Algebra)},
author = {Jean Krivine},
year = {2006},
url = {https://tel.archives-ouvertes.fr/tel-00519528},
researchr = {https://researchr.org/publication/hal-7875},
cites = {0},
citedby = {0},
school = {Pierre and Marie Curie University, Paris, France},
}