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

Active Bibliography

6 Some results in the Join-Calculus – Jean-Jacques Levy, Inria Rocquencourt - 1997
95 The Polymorphic Pi-calculus: Theory and Implementation – David N. Turner - 1995
136 Linearity and the Pi-Calculus – Naoki Kobayashi, Benjamin C. Pierce, David N. Turner - 1999
Processes, Functions, and Datatypes – Vasco T. Vasconcelos - 1998
5 Description and Verification of Mobile Processes with Graph Rewriting Techniques – Barbara König
50 Nomadic Pict: Correct Communication Infrastructure for Mobile Computation – Asis Unyapoth, Peter Sewell - 2001
4 Implicit Polymorphic Type System for the Blue Calculus – Silvano Dal-Zilio, Silvano Dal-zilio, Projet Meije - 1997
4 Mobile processes: A commented bibliography – Silvano Dal Zilio - 2000
32 What are polymorphically-typed ambients – Torben Amtoft, Santiago M. Pericas-geertsen, Assaf J. Kfoury - 2000
198 Reflections on Standard ML – David B. MacQueen - 1992
6 A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility – Luís Lopes, Álvaro Figueira, Fernando Silva, O Silva, Vasco T. Vasconcelos - 2000
127 Modern Concurrency Abstractions for C# – Nick Benton, Luca Cardelli, Cedric Fournet - 2002
29 JoCaml: A language for concurrent distributed and mobile programming – Cédric Fournet, Fabrice Le Fessant, Luc Maranget, Alan Schmitt
5 The name discipline of uniform receptiveness (Extended Abstract) – Davide Sangiorgi - 1997
199 Language primitives and type discipline for structured communication-based programming – Nobuko Yoshida, Vasco T. Vasconcelos - 1998
254 Pict: A programming language based on the pi-calculus – Benjamin C. Pierce, David N. Turner - 1997
Information Societies Technology – Ist Programme Contract
Job: An Object Oriented Extension of the Join Calculus – unknown authors
A Survey of Name-Passing Calculi and Crypto-Primitives ⋆ – Michele Bugliesi, Silvia Crafa, Riccardo Focardi, Vladimiro Sassone, Università “ca Foscari