Martin Berger, Kohei Honda, Nobuko Yoshida
Genericity and the π-Calculus
FoSSaCS, 2003.
@inproceedings{FoSSaCS-2003-BergerHY,
author = "Martin Berger and Kohei Honda and Nobuko Yoshida",
booktitle = "{Proceedings of the Sixth International Conference on Foundations of Software Science and Computation Structures}",
doi = "10.1007/3-540-36576-1_7",
isbn = "3-540-00897-7",
pages = "103--119",
publisher = "{Springer International Publishing}",
series = "{Lecture Notes in Computer Science}",
title = "{Genericity and the π-Calculus}",
volume = 2620,
year = 2003,
}
Tags: