Josva Kleist, Davide Sangiorgi  Home/Search
Context Related
| sop.inria.fr/meije/theorie...iomp.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: fermivista.math...tpsop.inria.fr (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: An interpretation of Abadi and Cardelli's first-order Imperative Object Calculus into a typed -calculus is presented. The interpretation validates the subtyping relation and the typing judgements of the Object Calculus, and is computationally adequate. The proof of computational adequacy makes use of (a -calculus version) of ready simulation, and of a factorisation of the interpretation into a functional part and a very simple imperative part. The interpretation can be used to compare and... (Update)
Context of citations to this paper: More
...and for concurrent processes coexist. Systematic translations of objects into calculus can be found, for instance, in [Wal95,HK96,San98,KS98]. Works that belong to the second approach are much closer to what we do here. Among these it is worth to mention the approaches of...
Cited by: More
Process Logic and Duality - Part I: Sequential Processes - Honda (Correct)
Inheritance in the Join Calculus - Fournet, Laneve, Maranget.. (2001) (Correct)
An Interpretation of Typed Concurrent Objects in the Blue Calculus - Zilio (2000) (Correct)
Similar documents (at the sentence level):
60.2%: Imperative Objects and Mobile Processes - Kleist, Sangiorgi (1998) (Correct)
Active bibliography (related documents): More All
0.4: On Asynchrony in Name-Passing Calculi - Merro, Sangiorgi (2002) (Correct)
0.1: Concurrent Objects in the Blue Calculus - Dal-Zilio (1998) (Correct)
0.1: An interpretation of Typed Objects into Typed π-calculus - Sangiorgi (1996) (Correct)
Similar documents based on text: More All
0.6: Compilation and Equivalence of Imperative Objects - Gordon, Hankin, Lassen (1998) (Correct)
0.5: Instrument Science Report Foc-051 - Title Suggested Changes (Correct)
0.4: Implementation of an Imperative Object Calculus - Computer Science Tripos (Correct)
Related documents from co-citation: More All
16: A Concurrent Object Calculus: Reduction and Typing - Gordon, Hankin - 1998
14: Compilation and Equivalence of Imperative Objects - Gordon, Hankin et al. - 1997
12: Information and Computation (context) - Walker, the - 1995
BibTeX entry: (Update)
J. Kleist and D. Sangiorgi. Imperative Objects and Mobile Processes. In D. Gries and W.-P. de Roever, eds, Proceedings of PROCOMET '98, pages 285--303. International Federation for Information Processing (IFIP), Chapman & Hall, 1998. http://citeseer.ist.psu.edu/article/kleist97imperative.html More
@inproceedings{ kleistimperative,
author = "Josva Kleist and Davide Sangiorgi",
title = "Imperative Objects and Mobile Processes",
pages = "285--303",
url = "citeseer.ist.psu.edu/article/kleist97imperative.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
248 Expressing Mobility (context) - Sangiorgi - 1992
247 Bisimulation through probabilistic testing (context) - Larsen, Skou - 1991
200 Pict: A programming language based on the pi-calculus - Pierce, Turner - 1997
197 Barbed bisimulation - Milner, Sangiorgi - 1992
146 Typing and subtyping for mobile processes - Pierce, Sangiorgi - 1993
127 Information and Computation (context) - Walker, the
121 Bisimulation can't be traced (context) - Bloom, Istrail et al. - 1995
114 The polymorphic pi-calculus: Theory and Implementation - Turner - 1996
108 Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
92 Monographs in Computer Science (context) - Abadi, Cardelli et al. - 1996
86 Obliq --- a language with distributed scope - Cardelli - 1994
67 Composing processes - Honda - 1996
65 Equivalence in functional languages with effects - Mason, Talcott - 1991
59 The name discipline of uniform receptiveness - Sangiorgi - 1997
59 A typing system for a calculus of objects - Vasconcelos, Tokoro - 1993
29 Compilation and equivalence of imperative objects - Gordon, Hankin et al. - 1997
26 calculus semantics for an object-based design notation (context) - Jones - 1993
25 An interpretation of typed objects into typed -calculus (context) - Sangiorgi - 1996
24 Bisimilarity for a first-order calculus of objects with subt.. - Gordon, Rees - 1996
20 An interpretation of Objects and Objects Types - Abadi, Cardelli et al. - 1996
17 A process algebra semantics of POOL (context) - Vaandrager - 1990
15 On transformations of concurrent object programs (context) - Philippou, Walker - 1996
3 BRICS - Basic Research in Computer Science (context) - Huttel, Kleist et al. - 1996
2 Relating semantic models for the object calculus - Aceto, Huttel et al. - 1997
2 Bisimulation without matching (context) - Boreale, Sangiorgi
1 Partial confluence of processes and systems of objects (context) - Liu, Walker - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://fermivista.math.jussieu.fr/ftp/ftp-sop.inria.fr.html): More
RC Semantics using Rewriting Rules - Boussinot (1992) (Correct)
ASAP - a protocol for symbolic computation systems - Dalmas, Gaëtano, Sausse (1994) (Correct)
Tracking medical 3D data with a deformable parametric model - Bardinet, Cohen, Ayache (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