Combinatory Representation of Mobile Processes (1994)

Cached

Download Links

by Kohei Honda , Nobuko Yoshida
Venue:In Proceedings of POPL '94
Citations:18 - 2 self

Document Versions

Combinatory Representation of Mobile Processes –Kohei Honda, Nobuko Yoshida — 1994 — In Proceedings of POPL '94