Self-applicable partial evaluation for pi-calculus (1997)

by M Gengler, M Martel
Venue:In Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM-97). ACM SIGPLAN Notices