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

140 On reduction-based process semantics – Kohei Honda, Nobuko Yoshida - 1995
150 Elements of Interaction – Robin Milner - 1993
87 On Asynchrony in Name-Passing Calculi – Massimo Merro, Davide Sangiorgi - 1998
59 Graph Types For Monadic Mobile Processes – Nobuko Yoshida - 1996
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
548 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992
568 Term Rewriting Systems – J. W. Klop - 1992