Mariangiola Dezani-Ciancaglini Department of Informatics University of Torino ...  Home/Search
Context
Related
| di.unito.it/~dezani/pape...lics97.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: di.unito.it/~dezani/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The main result of the paper is the following equivalence: two pure lambda terms are observationally equivalent in the lazy concurrent lambda calculus i they have the same Levy-Longo trees. It follows that contextual equivalence coincides with behavioural equivalence (bisimulation) as considered by Sangiorgi. Another consequence is that the discriminating power of concurrent lambda contexts is the same as that of Boudol's contexts with multiplicities. (Update)
Similar documents (at the sentence level):
55.6%: Discrimination by Parallel Observers - Mariangiola Dezani-Ciancaglini.. (Correct)
19.1%: Discrimination by Parallel Observers: the Algorithm - Dezani-Ciancaglini, Tiuryn, .. (1998) (Correct)
Active bibliography (related documents): More All
0.4: A Convex Powerdomain over Lattices: its Logic and.. - Alessi, al. (1997) (Correct)
0.4: A Filter Model for Concurrent λ-Calculus - Dezani-Ciancaglini.. (1998) (Correct)
0.3: Types for Trees - Barbanera, Dezani-Ciancaglini, al. (Correct)
Similar documents based on text: More All
0.4: Infinite lambda-calculus and Types - Berarducci, Dezani-Ciancaglini (1998) (Correct)
0.4: Products and Polymorphic Subtypes - Bono, Tiuryn (2002) (Correct)
0.4: Type Systems for the Object-Oriented Paradigm - Bono (1999) (Correct)
BibTeX entry: (Update)
@inproceedings{ dezaniciancaglini97discrimination,
author = "Mariangiola Dezani-Ciancaglini and Jerzy Tiuryn and Pawel Urzyczyn",
title = "Discrimination by Parallel Observers",
booktitle = "Logic in Computer Science",
pages = "396-407",
year = "1997",
url = "citeseer.ist.psu.edu/724419.html" }
Citations (may not include all citations):729 The Lambda Calculus: Its Syntax and Semantics (context) - Barendregt - 1984
297 A Calculus of Mobile Processes (context) - Milner, Parrow et al. - 1992
182 Structured Operational Semantics and Bisimulationa as a Cong.. (context) - Groote, Vaandrager - 1992
137 A Filter Lambda Model and the Completeness of Type Assignmen.. (context) - Barendregt, Coppo et al. - 1983
130 Full Abstraction in the Lazy Lambda Calculus (context) - Abramsky, Ong - 1993
54 Testing Equivalence for Mobile Processes (context) - Boreale, De Nicola - 1995
49 A Theory of Bisimulation for the -calculus (context) - Sangiorgi - 1993
47 Two Extensions of Curry's Type Inference System (context) - Cardone, Coppo - 1990
47 Intersection and Union Types: Syntax and Semantics (context) - Barbanera, Dezani-Ciancaglini et al. - 1995
42 Modal Logics for Mobile Processes - Milner, Parrow et al. - 1993
26 The Discriminating Power of Multiplicities in the -Calculus (context) - Boudol, Laneve - 1996
23 Non-Determinism in a Functional Setting (context) - Ong - 1993
11 Concurrent Lambda Calculus and a General Precongruence Theor.. (context) - Ong - 1992
9 Set Theoretical Models of Lambda Calculus: Theory (context) - Longo - 1983
9 Parallel Functions (context) - Boudol, Calculus et al. - 1994
8 May and Must Convergency in Concurrent -calculus (context) - Alessi, Dezani-Ciancaglini et al. - 1994
5 Filter Models for Conjunctive-Disjunctive -calculi (context) - Dezani-Ciancaglini, de'Liguoro et al.
4 An Algebraic Interpretation of Equality in some Models of th.. (context) - evy - 1975
3 A Filter Model for Concurrent -Calculi (context) - Dezani-Ciancaglini, de'Liguoro et al.
3 Lambda-Models Info (context) - Coppo, Dezani-Ciancaglini et al. - 1987
2 Calculus : an Investigation into the Foundations of Function.. (context) - Ong, Lazy - 1988
2 Complete Type Assignments (context) - Dezani-Ciancaglini, Margaria et al. - 1986
Documents on the same site (http://www.di.unito.it/~dezani/papers/): More
Intersection Types for λ-Trees - van Bakel, Barbanera.. (2000) (Correct)
Type Preorders and Recursive Terms - Alessi, Dezani-Ciancaglini (2004) (Correct)
A Distributed Object-Oriented Language with Session Types - Dezani-Ciancaglini.. (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