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:47 - 12 self

Documents Related by Co-Citation

241 The reflexive chemical abstract machine and the join-calculus – Cédric Fournet, Georges Gonthier
267 A Calculus of Mobile Agents – Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy, Inria Rocquencourt - 1996
54 The Join-Calculus: a Calculus for Distributed Mobile Programming – C Fournet - 1998
117 An Asynchronous Model of Locality, Failure, and Process Mobility – Roberto M. Amadio, Roberto M. Amadio, Projet Meije - 1997
995 Bigraphs and Mobile Processes – Ole Høgh Jensen, Robin Milner - 2003
449 The Chemical Abstract Machine – Gérard Berry, Gérard Boudol - 1998
76 Secure Implementation of Channel Abstractions – Martin Abadi, Cédric Fournet, Georges Gonthier - 2000
78 Protection in Programming-Language Translations – Martín Abadi, Martín Abadi - 1998
189 A Calculus of Mobile Processes, Part I – Robin Milner, Joachim Parrow, David Walker - 1989
272 The Polyadic -Calculus: A Tutorial – R Milner - 1993
241 Typing and Subtyping for Mobile Processes – Benjamin Pierce , Davide Sangiorgi - 1996
415 Obliq - A language with distributed scope – Luca Cardelli - 1995
77 A Typed Language for Distributed Mobile Processes (Extended Abstract) – James Riely, Matthew Hennessy - 1998
782 A calculus for cryptographic protocols: The spi calculus – Martin Abadi, Andrew D. Gordon - 1999
3200 Communication and Concurrency – R Milner - 1989
808 Mobile ambients – Luca Cardelli, Andrew D. Gordon - 1998
718 Security policies and security models – J A Goguen, J Meseguer - 1982
234 The slam calculus: programming with secrecy and integrity – Nevin Heintze, Jon G. Riecke - 1998
13 Proving Trust in Systems of Second-Order Processes: Preliminary results – Mads Dam - 1997