Oscar Nierstrasz  Home/Search
Context Related
| iam.unibe.ch/~scg/...ObjectCalculus.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: iamwww.unibe.ch...oobib.cgi?pcalc (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The developmen t ofconq t object-based programmi lan has su#ered from the lack ofan y gen erally accepted formal foun ion for de finn their seman tics. Furthermore, the delicate relation p between object-orien ted features supporti n reuse an operation features con n g in teraction a n state chan is poorlyun rstood in a con urren t settin To address this problem, we propose the developmen t of an object calculus, borrowi n heavily from relevan t work in the area of process calculi. To this en... (Update)
Context of citations to this paper: More
...broadcast communication when one to one asynchronous message passing is assumed. Recently in the (theoretical) object oriented community the asynchronous one to one message passing paradigm has been studied in its own right [13, 18]. Acknowledgement Acknowledgements are...
...is modified. This greatly improves the flexibility of deductive objects and is in the main stream of object calculus and meta programming [55, 29]. The result of this paper is a clear, formal semantics of cooperating objects expressed as deductive databases preserving the...
Cited by: More
Foundations of a Module Concept for Distributed Object Systems - Filipe (2000) (Correct)
Asynchronous and Deterministic Objects - Denis Caromel Ludovic (2004) (Correct)
Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2001) (Correct)
Similar documents (at the sentence level):
51.7%: Towards an Object Calculus - Nierstrasz (1992) (Correct)
Active bibliography (related documents): More All
0.0: A Pattern Approach to Interaction Design - Borchers (2000) (Correct)
0.0: Application of Patterns to Real-Time Object-Oriented Software.. - McKegney (2000) (Correct)
0.0: EALAN - A pattern language to build agile organizations - Beedle (1997) (Correct)
Similar documents based on text: More All
0.6: Model Generation by Moderated Regular Extrapolation - Hagerer, Hungar, Niese.. (2002) (Correct)
0.5: A Multi-Code-Coupling Interface for.. - Shankaran, Alonso, .. (Correct)
0.5: Stability Analysis of an Alpha-Cut Based Interpolation Method - Tikk, Baranyi, Yam, Kóczy (1999) (Correct)
Related documents from co-citation: More All
16: Communication and Concurrency (context) - Milner - 1989
14: Actors: a model of concurrent computation in distributed systems (context) - Agha - 1988
11: Communicating Sequential Processes (context) - Hoare - 1985
BibTeX entry: (Update)
O. Nierstrasz. Towards an object calculus. In M. Tokoro, O. Nierstrasz, P. Wegner, and A. Yonezawa, editors, ECOOP '91 Workshop on Object Based Concurrent Programming, Geneva, Switzerland, 1991, volume 612 of Lecture Notes in Computer Science. Springer Verlag. http://citeseer.ist.psu.edu/article/nierstrasz91towards.html More
@inproceedings{ nierstrasz92towards,
author = "Oscar Nierstrasz",
title = "Towards an Object Calculus",
booktitle = "Proceedings of the {ECOOP}'91 Workshop on Object-Based Concurrent Computing",
volume = "612",
publisher = "Springer-Verlag",
editor = "Mario Tokoro and Oscar Nierstrasz and Peter Wegner",
isbn = "3-540-55613-3",
pages = "1--20",
year = "1992",
url = "citeseer.ist.psu.edu/article/nierstrasz91towards.html" }
Citations (may not include all citations):97 Oxford University Press (context) - Alexander, Ishakawa et al. - 1977
1 ACTORS: A Model of Concurrent Computation in Dis tributedSys.. (context) - Agha - 1986
1 Kok and J (context) - Americ, de Bakker
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://iamwww.unibe.ch/~scg/cgi-bin/oobib.cgi?pcalc): More
Towards a Type Theory for Active Objects - Nierstrasz, Papathomas (1990) (Correct)
A Guide to Specifying Concurrent Behaviour with Abacus - Nierstrasz (1990) (Correct)
Abacus: a Notation for Describing Concurrent Computations - Nierstrasz (Correct)
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