The join-calculus is a process calculus developed at INRIA. The join-calculus was developed to provide a formal basis for the design of distributed… (More)

Semantic Scholar uses AI to extract papers important to this topic.

2011

2011

- Marco Patrignani, Dave Clarke, Davide Sangiorgi
- FMOODS/FORTE
- 2011

This paper investigates ownership types in a concurrent setting using the Join calculus as the model of processes. Ownership… (More)

Is this relevant?

2008

2008

- Qin Ma, Luc Maranget
- Logical Methods in Computer Science
- 2008

We propose an extension of the join calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to… (More)

Is this relevant?

2002

2002

- Roberto Bruni, Cosimo Laneve, Ugo Montanari
- CONCUR
- 2002

We discuss the principles of distributed transactions, then we define an operational model which meets the basic requirements and… (More)

Is this relevant?

2000

2000

- Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
- FSTTCS
- 2000

We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus… (More)

Is this relevant?

Review

2000

Review

2000

- Cédric Fournet, Georges Gonthier
- APPSEM
- 2000

In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a… (More)

Is this relevant?

1998

1998

- C. Lanevey, L. Marangetz
- 1998

We present an elementary class-based calculus of concurrent objects obtained from the join-calculus by introducing primitive… (More)

Is this relevant?

1998

1998

- Michele Boreale, Cédric Fournet, Cosimo Laneve
- PROCOMET
- 1998

We develop a theory of bisimulations in the join-calculus. We introduce a refined operational model that makes interactions with… (More)

Is this relevant?

Highly Cited

1997

Highly Cited

1997

- Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy
- CONCUR
- 1997

We adapt the Damas-Milner typing discipline to the join-calculus. The main result is a new generalization criterion that extends… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Cédric Fournet, Georges Gonthier
- POPL
- 1996

By adding reflexion to the chemical machine of Berry and Boudol, we obtain a formal model of concurrency that is consistent with… (More)

Is this relevant?

Highly Cited

1996

Highly Cited

1996

- Cédric Fournet, Georges Gonthier, Jean-Jacques Lévy, Luc Maranget, Didier Rémy
- CONCUR
- 1996

We introduce a calculus for mobile agents and give its chemical semantics, with a precise de nition for migration, failure, and… (More)

Is this relevant?