Implicit typing `a la ML for the join-calculus (1997)

by Edric Fournet , Cosimo Laneve , Luc Maranget
Venue:Proceedings of the 8th International Conference on Concurrency Theory, volume 1243 of Lecture Notes in Computer Science
Citations:49 - 13 self

Documents Related by Co-Citation

243 The re chemical abstract machine and the joincalculus – Cedric Fournet, Georges Gonthier - 1996
1008 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
268 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
458 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
792 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
3242 Communication and Concurrency – R Milner - 1989
416 Obliq - A language with distributed scope – Luca Cardelli - 1995
816 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
736 Security policies and security models – J Goguen, J Meseguer