Composing processes (1996)

by Kohei Honda
Venue:In Proceedings of POPL’96