Nobuko Yoshida, Martin Berger, Kohei Honda. Strong Normalisation in the pi-Calculus. In LICS. pages 311-322, 2001.
@inproceedings{YoshidaBH01,
title = {Strong Normalisation in the pi-Calculus},
author = {Nobuko Yoshida and Martin Berger and Kohei Honda},
year = {2001},
researchr = {https://researchr.org/publication/YoshidaBH01},
cites = {0},
citedby = {0},
pages = {311-322},
booktitle = {LICS},
}