Partial Evaluation Scheme for Concurrent Languages and Its Correctness.

Haruo Hosoya, Naoki Kobayashi, Akinori Yonezawa

Browse the full EuroPar paper archive.