Jean-Guy Schneider, Markus Lumpe  Home/Search
Context Related
| iam.unibe.ch/~scg/A...syncConcObjPi.pdf Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iam.unibe.ch/cg...oobib?semantics (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This report is organized as follows: in section 2 we introduce or #-calculus object model followed by a description of McHale's "generic synchronization policies" in section 3. In section 4, we present the integration of the "generic synchronization policies" into our #-calculus based object model. Section 5 summarizes the main observations and results of our integration. We conclude with some remarks about future work and directions. (Update)
Context of citations to this paper: More
.... encapsulation, object identity, instantiation, synchronization, dynamic binding, inheritance, overriding, and class variables [LUM 96, SCH 97] In this model, classes are represented as runtime entities (i.e. as class metaobjects) which turned out to be useful for (i) the...
.... have previously used the # calculus to model object composition and generic synchronization policies as an example for wrapping [LSN96, SL97, Var96]. The inherent problem, however, is the limited reusability and extensibility due to position dependent parameters. We propose #L...
Cited by: More
Form-based Software Composition - Lumpe, Schneider (2003) (Correct)
Responsive Bisimulation - Zhang, Potter (Correct)
PICCOLA - a Small Composition Language - Achermann, Lumpe, Schneider.. (1999) (Correct)
Active bibliography (related documents): More All
2.2: Synchronizing Concurrent Objects in the pi-Calculus - Schneider, Lumpe (1997) (Correct)
0.8: Modelling Objects in PICT - Schneider, Lumpe (1996) (Correct)
0.5: A Formal Language for Composition - Lumpe, Achermann, Nierstrasz (2000) (Correct)
Similar documents based on text: More All
0.8: A Metamodel for Concurrent, Object-based Programming - Schneider, Lumpe (2000) (Correct)
0.8: Des Objets aux Acteurs 1982-1989: 7 Ans de Réflexion.. - Briot (1989) (Correct)
0.7: Programmation Modulaire Avec Surcharge Et Liaison Tardive - Aponte, Castagna (1996) (Correct)
Related documents from co-citation: More All
3: The polyadic Pi-calculus: a tutorial - Milner - 1991
3: Calculus Based Approach to Software Composition (context) - Lumpe - 1999
3: Operations on records - Cardelli, Mitchell - 1991
BibTeX entry: (Update)
SCHNEIDER J.-G., LUMPE M., "Synchronizing Concurrent Objects in the PiCalculus ", DUCOURNAU R., GARLATTI S., Eds., Proceedings of Langages et Modles Objets '97, Roscoff, 1997, Hermes, p. 61--76. http://citeseer.ist.psu.edu/schneider97synchronizing.html More
@inproceedings{ schneider97synchronizing,
author = "Jean-Guy Schneider and Markus Lumpe",
title = "Synchronizing Concurrent Objects in the Pi-Calculus",
booktitle = "Proceedings of Langages et Mod\`eles \`a Objets '97",
publisher = "Hermes",
address = "Roscoff",
editor = "Roland Ducournau and Serge Garlatti",
isbn = "2-86601-650-5",
pages = "61--76",
year = "1997",
url = "citeseer.ist.psu.edu/schneider97synchronizing.html" }
Citations (may not include all citations):200 Pict: A Programming Language based on the Pi-Calculus - Pierce, Turner - 1997
155 Analysis of inheritance anomaly in object-oriented concurren.. - Matsuoka, Yonezawa - 1993
137 The Art of the Metaobject Protocol (context) - Kiczales, Rivieres et al. - 1991
134 A Theory of Objects (context) - Abadi, Cardelli - 1996
127 Information and Computation (context) - Walker, the - 1995
114 The Polymorphic Pi-Calculus: Theory and Implementation - Turner - 1996
81 Inheritance and Synchronization with Enabled-Sets (context) - Tomlinson, Vineet - 1989
73 Concurrent Objects in a Process Calculus - Pierce, Turner - 1995
65 A Parallel Object-Oriented Language (context) - America - 1987
43 The Polyadic Pi-Calculus: a Tutorial - Milner - 1991
39 A Pi-Calculus Semantics for an Object-Based Design Notation (context) - Jones - 1993
30 Computer Science Department (context) - Milner, of et al. - 1989
18 Object-oriented Languages: Expressive Power (context) - McHale, Concurrent - 1994
16 PROCOL -- A Parallel Object Language with Protocols (context) - Van den Bos, La - 1989
14 INRIA Sophia-Antipolis (context) - Sangiorgi, mobile et al. - 1995
13 A Synchronization Mechanism for an Object Oriented Distribut.. - Decouchant, Le Dot et al. - 1991
13 Formalizing Composable Software Systems -- A Research Agenda - Nierstrasz, Schneider et al. - 1996
9 Evaluating Synchronization Mechanisms (context) - Bloom - 1979
8 Using Metaobjects to Model Concurrent Objects with PICT - Lumpe, Schneider et al. - 1996
6 Estudio de Aspectos Dinamicos en Sistemas Orientados al Obje.. (context) - Solorzano - 1995
5 Generic Synchronization Policies (context) - Varone - 1996
3 Technical Report vubtinf -tr (context) - Mens, on et al. - 1994
3 An Experiment in Classification and Specialization of Synchr.. (context) - Briot - 1996
2 Institute of Computer Science and Applied Mathematics (context) - Schneider, Lumpe et al. - 1996
1 Reification des schemas de conception: une experience (context) - Ducasse - 1997
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC