Combinatory Representation of Mobile Processes (1994)

Cached

Download Links

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

Active Bibliography

160 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
164 Elements of Interaction – Robin Milner - 1993
98 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
63 Graph Types For Monadic Mobile Processes – Nobuko Yoshida - 1996
1127 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
901 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
277 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
897 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
604 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992