Control in the π-calculus (2004)

by Kohei Honda, Nobuko Yoshida, Martin Berger
Venue:In Fourth ACM-SIGPLAN Continuation Workshop (CW’04