Synchronizing Concurrent Objects in the Pi-Calculus

eutilisables et de plus haut niveau. abstract. The development of concurrent object-based programming languages has suered from the lack of any generally accepted formal foundation for dening their semantics. Therefore we are seeking for a minimal semantic foundation for dening 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 dened an object model integrating common features of object-oriented programming languages. Our goal is to dene 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 reied as