Luca Aceto, Hans Hüttel, Anna Ingólfsdóttir, Josva Kleist  Home/Search
Context Related
| cs.auc.dk/~hans/Publicati...objmodel.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: cs.auc.dk/~hans/Publicatio...pubs (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Abadi and Cardelli have investigated several versions of the &-calculus, a calculus for describing central features of object-oriented programs, with particular emphasis on various type systems. In this paper we study the properties of a denotational semantics due to Abadi and Cardelli vis-`a-vis the notion of observational congruence for the calculus Ob 1!:¯ . In particular, we prove that the denotational semantics based on partial equivalence relations is correct with respect to observational ... (Update)
Context of citations to this paper: More
...[1, Chapter 14] shows that the equational theory for FOC is also sound with respect their denotational semantics of FOC. Aceto et al. [3] show that the denotational semantics is sound but not fully abstract w.r.t. operational equivalence. Extending the above mentioned...
Cited by: More
Imperative Objects and Mobile Processes - Kleist, Sangiorgi (1998) (Correct)
Active bibliography (related documents): More All
0.0: From SOS Rules to Proof Principles: An Operational Metatheory for.. - Sands (1997) (Correct)
0.0: Decoding Choice Encodings - Nestmann, Pierce (1997) (Correct)
0.0: A Full Formalisation of π-Calculus Theory in the Calculus of .. - Hirschkoff (1997) (Correct)
Similar documents based on text: More All
0.4: Deciding Framed Bisimilarity - Hüttel (2002) (Correct)
0.4: A Formalization of Linkage Analysis - Ingolfsdottir, Christensen, al. (2002) (Correct)
0.4: 2-Nested Simulation is not Finitely Equationally.. - Aceto, Fokkink.. (2000) (Correct)
Related documents from co-citation: More All
2: Linearity and the pi-calculus - Kobayashi, Pierce et al. - 1996
2: calculus semantics for an object-based design notation (context) - Jones, ss- - 1993
2: Typing and sub-typing for mobile processes - Pierce, Sangiorgi - 1996
BibTeX entry: (Update)
L. Aceto, H. Huttel, A. Ing'olfsd'ottir, and J. Kleist. Relating semantic models for the object calculus. In Proceedings of Express 97 Workshop, volume 7 of Electronic Notes in Theoretical Computer Science. Elsevier Science B.V., 1997. http://citeseer.ist.psu.edu/aceto97relating.html More
@misc{ aceto97relating,
author = "L. Aceto and H. Huttel and A. Ing'olfsd'ottir and J. Kleist",
title = "Relating semantic models for the object calculus",
text = "L. Aceto, H. Huttel, A. Ing'olfsd'ottir, and J. Kleist. Relating semantic
models for the object calculus. In Proceedings of Express 97 Workshop, volume
7 of Electronic Notes in Theoretical Computer Science. Elsevier Science
B.V., 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/aceto97relating.html" }
Citations (may not include all citations):729 The Lambda-Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
502 Concurrency and automata on infinite sequences (context) - Park - 1981
447 Prentice-Hall International (context) - Milner, Concurrency - 1989
306 LCF considered as a programming language (context) - Plotkin - 1977
89 Springer-Verlag (context) - Abadi, Cardelli et al. - 1996
47 Fully abstract models of programming languages (context) - Stoughton - 1988
34 Semantical paradigms: Notes for an invited lecture (context) - Meyer - 1988
24 Bisimilarity for a first-order calculus of objects with subt.. - Gordon, Rees - 1996
14 INRIA Sophia-Antipolis (context) - Sangiorgi, mobile et al. - 1995
Documents on the same site (http://www.cs.auc.dk/~hans/Publications/pubs.html): More
Undecidable Equivalences for Basic Parallel Processes - Hüttel (1993) (Correct)
The Complexity of Deciding Behavioural Equivalences and Preorders - Hüttel, Shukla (Correct)
Silence is Golden: Branching Bisimilarity is - Hüttel (1992) (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