Abstract | ||
---|---|---|
The main result of the paper is a proof of the following equivalence: two pure lambda terms are observationally equivalent in the lazy concurrent lambda calculus iff 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-Laneve's contexts with multiplicities. |
Year | DOI | Venue |
---|---|---|
1997 | 10.1109/LICS.1997.614965 | LICS |
Keywords | Field | DocType |
main result,behavioural equivalence,following equivalence,levy-longo tree,parallel observers,observationally equivalent,concurrent lambda context,pure lambda term,lazy concurrent lambda calculus,contextual equivalence,type theory,parallel algorithms,lambda calculus | Deductive lambda calculus,Discrete mathematics,Combinatorics,Simply typed lambda calculus,Typed lambda calculus,System F,Lambda lifting,Church encoding,Equivalence (measure theory),Pure type system,Mathematics | Conference |
ISSN | ISBN | Citations |
1043-6871 | 0-8186-7925-5 | 7 |
PageRank | References | Authors |
0.59 | 7 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
Mariangiola Dezani-Ciancaglini | 1 | 1615 | 193.57 |
Jerzy Tiuryn | 2 | 1210 | 126.00 |
Pawel Urzyczyn: | 3 | 7 | 0.59 |