Combinatory Representation of Mobile Processes (1994)
by
Kohei Honda
,
Nobuko Yoshida
| Venue: | In Proceedings of POPL '94 |
| Citations: | 16 - 2 self |
Document Versions
| Combinatory Representation of Mobile Processes –Kohei Honda, Nobuko Yoshida — 1994 — In Proceedings of POPL '94 |
