Gérard Boudol, Cosimo Laneve  Home/Search
Context
Related
| cs.unibo.it/pub/laneve/book.ps.gz cs.unibo.it/~laneve/papers/book.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.unibo.it/~laneve/html...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: In this paper we study the semantics of the -calculus induced by Milner's encoding into the ß-calculus. We show that the resulting may testing preorder on -terms coincides with the inclusion of L'evy-Longo trees. To establish this result, we use a refinement of the -calculus where the argument of a function may be of limited availability. In our - calculus with multiplicities, evaluation is deterministic, but it may deadlock, due to the lack of resources. We show that this feature is enough to ... (Update)
Active bibliography (related documents): More All
1.6: lambda-Calculus, Multiplicities and the pi-Calculus - Boudol, al. (1995) (Correct)
0.8: The Discriminating Power of Multiplicities in the Lambda-Calculus - Boudol, Laneve (1996) (Correct)
0.3: Chapter 6. An Investigation into Functions as Processes - Unknown (Correct)
Similar documents based on text: More All
0.2: Solo Diagrams - Laneve, Parrow, Victor (2001) (Correct)
0.2: Axiomatizing Permutation Equivalence - Laneve, Montanari (1994) (Correct)
0.2: A Note on Scope and Infinite Behaviour in CCS-like Calculi - Giambiagi, Schneider.. (Correct)
BibTeX entry: (Update)
@misc{ boudol-lambdacalculus,
author = "Gérard Boudol and Cosimo Laneve",
title = "λ-Calculus, Multiplicities and the π-Calculus",
url = "citeseer.ist.psu.edu/18192.html" }
Citations (may not include all citations):1933 Communication and Concurrency (context) - Milner - 1989
854 Information and Computation (context) - Milner, Parrow et al. - 1992
283 Theoretical Computer Science (context) - Plotkin, call-by-value et al. - 1975
248 Expressing Mobility (context) - Sangiorgi - 1993
179 The Lazy Lambda Calculus - Abramsky - 1989
149 Calculus: A Tutorial (context) - Milner, ss- - 1993
137 Journal of Functional Programming (context) - Abadi, Cardelli et al. - 1991
130 Full abstraction in the lazy lambda calculus (context) - Abramsky, Luke - 1993
97 Mathematical Structures in Computer Science (context) - Milner, processes - 1992
89 The Lambda Calculus (context) - Barendregt - 1985
66 Fully abstract models of typed -calculi (context) - Milner - 1977
59 The relation between computational and denotational properti.. (context) - Wadsworth - 1976
52 The lazy lambda calculus in a concurrency scenario - Sangiorgi - 1994
50 A calculus of communicating systems with label passing - Engberg, Nielsen - 1986
42 The Lazy Lambda Calculus: an Investigation into the Foundati.. (context) - Luke - 1988
41 R'eductions Correctes et Optimales dans le Lambda Calcul (context) - L'evy - 1978
26 The discriminating power of multiplicities in the -calculus (context) - Boudol, Laneve - 1996
19 Information and Computation (context) - Boudol, strict et al. - 1994
12 Lazy functions and mobile processes - Sangiorgi - 1995
11 Set theoretical models of lambda calculus: Theories (context) - Longo - 1983
9 A Lambda Calculus for Parallel Functions (context) - Boudol - 1990
8 An algebraic interpretation of the fiK-calculus; and an appl.. (context) - L'evy - 1976
5 Logik und Grundlagen d (context) - Hindley, Longo et al. - 1980
3 deadlock and divergence in the -calculus with multiplicities (context) - Boudol, Laneve - 1995
2 Non-deterministic lazy -calculus vs ß-calculus (context) - Lavatelli - 1993
Documents on the same site (http://www.cs.unibo.it/~laneve/html/papers.html): More
Interaction Systems - Asperti, Laneve (1993) (Correct)
The Discriminating Power of Multiplicities in the Lambda-Calculus - Boudol, Laneve (1996) (Correct)
Mobility in the Cc-Paradigm - Laneve, Montanari (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