Join-calculus

Known as: Join calculus, Calculus (disambiguation), Join-calculus (programming language) 
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)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2017
051019932017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2011
2011
This paper investigates ownership types in a concurrent setting using the Join calculus as the model of processes. Ownership… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2008
2008
We propose an extension of the join calculus with pattern matching on algebraic data types. Our initial motivation is twofold: to… (More)
  • figure 1
  • figure 3
  • figure 4
  • figure 5
  • figure 6
Is this relevant?
2002
2002
We discuss the principles of distributed transactions, then we define an operational model which meets the basic requirements and… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
2000
2000
We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus… (More)
  • figure 1
  • figure 2
Is this relevant?
Review
2000
Review
2000
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 6
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
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
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
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
We introduce a calculus for mobile agents and give its chemical semantics, with a precise de nition for migration, failure, and… (More)
  • figure 1
Is this relevant?