Partial evaluation scheme for concurrent languages and its correctness (1996)

by H Hosoya, N Kobayashi, A Yonezawa
Venue:In Euro-Par’96