Partial-evaluation techniques for concurrent programs (1997)

by M Marinescu, B Goldberg
Venue:In PEPM’97