Sequentiality and the π-Calculus (2001)
Cached
Download Links
| Citations: | 19 - 3 self |
BibTeX
@MISC{Berger01sequentialityand,
author = {Martin Berger and Kohei Honda and Nobuko Yoshida},
title = {Sequentiality and the π-Calculus},
year = {2001}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a type discipline for the -calculus which precisely captures the notion of sequential functional computation as a speci c class of name passing interactive behaviour. The typed calculus allows direct interpretation of both call-by-name and call-by-value sequential functions. The precision of the representation is demonstrated by way of a fully abstract encoding of PCF. The result shows how a typed -calculus can be used as a descriptive tool for a signi cant class of programming languages without losing the latter's semantic properties. Close correspondence with games semantics and process-theoretic reasoning techniques are together used to establish full abstraction.
Citations
No citations identified.
