Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy  Home/Search
Context Related
| pauillac.inria.fr/~remy/...jojoin.ps.gz pauillac.inria.fr/~remy/w...ojoin.ps.gz 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: pauillac.inria.fr/~remy/work/o... (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: We propose an object-oriented calculus with internal concurrency and class-based inheritance that is built upon the join calculus. Method calls, locks, and states are handled in a uniform manner, using labeled messages. Classes are partial message de nitions that can be combined and transformed. We design operators for behavioral and synchronization inheritance. We also give a type system that statically enforces basic safety properties. Our model is compatible with the JoCaml implementation of ... (Update)
Cited by: More
A Java package for class and mixin mobility in a distributed.. - Bettini (2003) (Correct)
Encapsulation and Behavioral Inheritance in a Synchronous.. - Kerboeuf, Talpin (2004) (Correct)
MoMi - A Calculus for Mobile Mixins - Bettini, Bono, Venneri (2004) (Correct)
Similar documents (at the sentence level):
38.6%: Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2000) (Correct)
33.6%: Inheritance in the Join Calculus (Extended Abstract) - Fournet, Laneve, Maranget, .. (Correct)
Active bibliography (related documents): More All
0.4: Inheritance in the Join-Calculus - Fournet, Laneve, Maranget.. (1998) (Correct)
0.2: Local pi-Calculus at Work: Mobile Objects as Mobile Processes - Merro, Kleist, Nestmann (Correct)
0.2: Inheritance in Concurrent Objects - Laneve (2001) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.4: Bisimulations in the Join-Calculus - Fournet, Laneve (2001) (Correct)
0.4: JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (Correct)
0.3: A Type System for JVM Threads - Laneve (2002) (Correct)
Related documents from co-citation: More All
5: A calculus of mobile agents - Fournet, Gonthier et al. - 1996
4: Concurrent Objects in a Process Calculus - Pierce, Turner - 1995
4: A calculus for concurrent objects - DiBlasio, Fisher - 1996
BibTeX entry: (Update)
Cedric Fournet, Cosimo Laneve, Luc Maranget and Didier Remy. Inheritance in the join-calculus. ftp://ftp.cs.unibo.it/pub/laneve/obj.ps.gz, October 1998. http://citeseer.ist.psu.edu/article/fournet00inheritance.html More
@article{ fournet00inheritance,
author = "C{\'e}dric Fournet and Cosimo Laneve and Luc Maranget and Didier R{\'e}my",
title = "Inheritance in the Join Calculus",
journal = "Lecture Notes in Computer Science",
volume = "1974",
pages = "397--??",
year = "2000",
url = "citeseer.ist.psu.edu/article/fournet00inheritance.html" }
Citations (may not include all citations):291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
155 Analysis of inheritance anomaly in object-oriented concurren.. - Matsuoka, Yonezawa - 1993
127 Information and Computation (context) - Walker, the - 1995
86 Obliq A language with distributed scope - Cardelli - 1994
62 Issues in the design of a parallel object-oriented language (context) - America - 1989
57 Research Directions in Concurrent Object-Oriented Programmin.. (context) - Agha, Wegner et al. - 1993
41 Objective ML: A simple objectoriented extension to ML (context) - emy, Vouillon - 1997
40 Towards an object calculus - Nierstrasz - 1992
39 A concurrent object calculus: reduction and typing - Gordon, Hankin - 1998
38 The Join-Calculus: a Calculus for Distributed Mobile Program.. (context) - Fournet - 1998
30 Imperative objects and mobile processes - Kleist, Sangiorgi - 1998
18 A calculus for concurrent objects - Blasio, Fisher - 1996
18 The re exive chemical abstract machine and the join-calculus (context) - Fournet, Gonthier - 1996
17 Functional nets - Odersky - 2000
16 Software and documentation available from http://pauillac (context) - Le Fessant, system - 1998
14 Theory and Practice of Object Systems (context) - Riecke, Stone et al. - 1999
7 Quiet and bouncing objects: Two migration abstractions in a .. (context) - Dal-Zilio - 1998
7 Combining subsumption and binary methods: An object calculus.. - Vouillon - 1999
6 Technical Report ACRC (context) - Chen, Odersky et al. - 1999
6 An interpretation of typed objects into typed -calculus (context) - Sangiorgi - 1998
4 Electronic Notes in Computer Science (context) - Le Fessant, Maranget - 1998
The graph only includes citing articles where the year of publication is known.
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