Cédric Fournet, Cosimo Laneve, Luc Maranget, Didier Rémy  Home/Search
Context Related
| microsoft.com/~fou...ejoincalculus.ps 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: microsoft.com/~fournet/biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: C or ; Abstract-Cut = L n dl(C) L 6= L C or L Match match C with S end Class-Context E[C] ] Evaluation contexts for classes E[] ::= [] j match E[] with S end j E[] or C j C or E[] Rules for lters Filter-Apply K 1 & K . P with K 1 ) K 2 . Q j S 7! K 2 & K . P & Q or dl(K 1 ) n dl(K 2 ) Filter-Next dl(K 1 ) 6 dl(M) Filter-End C with ; 7! C Filter-Or C 1 with S 7! C 1 C 2 with S 7! C (C 1 or C 2 ) with S 7! C Filter-Abstract L... (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):
19.8%: Inheritance in the Join Calculus (Extended Abstract) - Fournet, Laneve, Maranget, .. (Correct)
13.7%: Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2000) (Correct)
Active bibliography (related documents): More All
0.5: Tail call elimination on the Java Virtual Machine - Schinz, Odersky (2001) (Correct)
0.3: Inheritance in the Join-Calculus - Fournet, Laneve, Maranget.. (1998) (Correct)
0.2: JoCaml: a Language for Concurrent Distributed and.. - Fournet, Le.. (2002) (Correct)
System load high. Please wait...
Timeout. Please try your query later.
Similar documents based on text: More All
0.8: Implicit typing à la ML for the join-calculus - Fournet, Laneve, Maranget, .. (Correct)
0.6: A Calculus of Mobile Agents - Fournet, Gonthier, Lévy, Maranget.. (1996) (Correct)
0.5: Bisimulations in the Join-Calculus - Fournet, Laneve (1999) (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/fournet01inheritance.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/fournet01inheritance.html" }
Citations (may not include all citations):854 Information and Computation (context) - Milner, Parrow et al. - 1992
291 A calculus of mobile agents - Fournet, Gonthier et al. - 1996
155 Analysis of inheritance anomaly in objectoriented concurrent.. - 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 object-oriented 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
25 An interpretation of typed objects into typed -calculus (context) - Sangiorgi - 1998
24 a la ML for the join-calculus (context) - Fournet, Laneve et al. - 1997
18 A calculus for concurrent objects - Blasio, Fisher - 1996
17 Functional nets - Odersky - 2000
16 Software and documentation available from httppauillac (context) - JoCAML, Software et al. - 1998
14 Theory and Practice of Object Systems (context) - Riecke, Stone et al. - 1999
13 The re exive chemical abstract machine and the join-calculus (context) - Fournet, Gonthier - 1996
7 Combining subsumption and binary methods: An object calculus.. - Vouillon - 2001
6 Technical Report ACRC (context) - Chen, Odersky et al. - 1999
4 Electronic Notes in Computer Science (context) - Le Fessant, Maranget - 1998
2 An overview of functional nets - Odersky - 2000
1 Quiet and bouncing objects: Two migration abstractions in a .. (context) - Dal-Zilio - 1998
1 one can encode objective jo (context) - eu, eu
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.research.microsoft.com/~fournet/biblio.htm): More
From Stack Inspection to Access Control: - Security Analysis For (Correct)
Secure Implementation of Channel Abstractions - Mart Abadi Abadi (1998) (Correct)
A Hierarchy of Equivalences for Asynchronous Calculi - Fournet, Gonthier (2003) (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