Schneider, Jean-Guy; Lumpe, Markus (October 1997). Synchronizing Concurrent Objects in the Pi-Calculus. In: Ducournau, Roland; Garlatti, Serge (eds.) Langages et Modèles à Objets (pp. 61-76). Roscoff: Hermes
![[img]](https://boris.unibe.ch/style/images/fileicons/text.png) |
Text
Schn97aSyncConcObjPi.pdf - Published Version Restricted to registered users only Available under License Publisher holds Copyright. Download (325kB) |
The development of concurrent object-based programming languages has suffered from the lack of any generally accepted formal foundation for defining their semantics. Therefore we are seeking for a minimal semantic foundation for defining features of concurrent object-based languages. Our previous work has shown that the Pi-calculus is a promising formal foundation for modelling objects, and we have defined an object model integrating common features of object-oriented programming languages. Our goal is to define a black-box framework for modelling objects. As a first extension of our Pi-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 reified as first class entities (i.e. metaobjects) and that McHale's concept of ``generic synchronization policies'' forms a promising base for the definition of higher-level, reusable synchronization abstractions.
Item Type: |
Conference or Workshop Item (Paper) |
|---|---|
Division/Institute: |
08 Faculty of Science > Institute of Computer Science (INF) > Software Composition Group (SCG) [discontinued] |
ISBN: |
2-86601-650-5 |
Publisher: |
Hermes |
Language: |
English |
Submitter: |
Anja Ebeling |
Date Deposited: |
11 Jan 2018 13:36 |
Last Modified: |
11 Apr 2024 16:12 |
BORIS DOI: |
10.7892/boris.104769 |
URI: |
https://boris.unibe.ch/id/eprint/104769 |
Actions (login required)
 |
Edit item |