Those works promote a uni ed framework for reasoning about objects and processes, but they do not address the composition of object de nitions or its typechecking. PhD thesis, Ecole Polytechnique, Palaiseau, Nov. 1998. The join calculus has been developed to address distributed programming. The proofs of correctness of the type system appear in the appendix. In this section we focus on the core calculus dealing with objects.
Examples model some crude bank account.
Our first simplistic example models a dishonest bank that accepts all deposits and forgets about them. PhD thesis, Ecole Polytechnique, Palaiseau, 1998. Technically, these two models have a lot in common. They consist of name passing process calculi in the spirit of the calculus. PhD thesis, Ecole Polytechnique, Palaiseau, Nov. 1998.