Combinatory Representation of Mobile Processes (1994)

Cached

Download Links

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

Active Bibliography

139 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
59 Graph Types For Monadic Mobile Processes – Nobuko Yoshida - 1996
86 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
150 Elements of Interaction – Robin Milner - 1993
108 An Interaction-based Language and its Typing System – Kaku Takeuchi, Kohei Honda, Makoto Kubo - 1994
13 Minimality and Separation Results on Asynchronous Mobile Processes - Representability Theorems by Concurrent Combinators (Extended Abstract) – Nobuko Yoshida - 1998
34 Operational congruences for reactive systems – James Judi Leifer - 2001
1 Interpreting functions as π-calculus processes: a tutorial – Davide Sangiorgi - 1999
Reduction Theories for Concurrent Calculi – Nobuko Yoshida, Kohei Honda
12 Replication in Concurrent Combinators – Kohei Honda, Nobuko Yoshida - 1994
13 Asynchronous process calculi: the first-order and higher-order paradigms (Tutorial) – Davide Sangiorgi - 1999
198 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
83 Types for Dyadic Interaction – Kohei Honda - 1993
Two Bisimilarities in ν-calculus – Kohei Honda
47 Towards an Object Calculus – Oscar Nierstrasz - 1991
14 Solo Diagrams – Cosimo Laneve, Joachim Parrow, Björn Victor - 2001
25 Asynchrony and the Pi-Calculus – Gérard Boudol - 1992
28 Composing Processes – Kohei Honda - 1996
96 Decoding Choice Encodings – Uwe Nestmann, Benjamin C. Pierce - 1999