Marc Gengler, Matthieu Martel
Self-Applicable Partial Evaluation for the π-Calculus
PEPM, 1997.
@inproceedings{PEPM-1997-GenglerM, author = "Marc Gengler and Matthieu Martel", booktitle = "{Proceedings of the Fifth Symposium on Partial Evaluation and Semantics-Based Program Manipulation}", doi = "10.1145/258993.259000", isbn = "0-89791-917-3", pages = "36--46", publisher = "{ACM}", title = "{Self-Applicable Partial Evaluation for the π-Calculus}", year = 1997, }