Synchronizing Concurrent Objects in the Pi-Calculus

r esum e. Le d eveloppement des langages orient es objets concurrents a souuert de l'ab-sence d'un support formel f ed erateur d edi e a la d eenition de leur s emantique. C'est une des raisons pour lesquelles nous essayons de trouver une fondation s emantique minimale pour d eenir les abstractions des langages orient es objets. Nous avons montr e pr ec edemment l'int er^ et du-calcul a cet egard en proposant la d eenition d'un mod ele a objets contenant des abstractions communes aux langages orient es objets. Nous nous proposons maintenant de d eenir un cadre formel de type bo^ te noire pour la mod elisation objet. Nous pr esentons ici une premi ere extension de notre mod ele a objets fond e sur le-calcul permettant l'int egration des abstractions pour la synchro-nisation des objets concurrents. Nos r esultats montrent d'une part, que les objets sont synchronis es plus ais ement si les sch emas de synchronisation sont r eii es comme des entit es de premi ere classe (des m eta-objets) et d'autre part, que le concept de \sch ema g en erique de synchronisation" de McHale forme une base prometteuse pour la d eenition d'abstractions de synchronisation r eutilisables et de plus haut niveau. abstract. The development of concurrent object-based programming languages has suuered from the lack of any generally accepted formal foundation for deening their semantics. Therefore we are seeking for a minimal semantic foundation for deening features of concurrent object-based languages. Our previous work has shown that the-calculus is a promising formal foundation for modelling objects, and we have deened an object model integrating common features of object-oriented programming languages. Our goal is to deene a black-box framework for modelling objects. As a rst extension of our-calculus based object model, we present in this work the integration of abstractions for synchronizing concurrent objects. Our results show that objects are most easily synchronized when synchronization policies are reiied as rst class entities (i.e. metaobjects) and that McHale's concept of \generic synchronization policies" forms a promising base for the deenition of higher-level, reusable synchronization abstractions.