Sequentiality and the π-Calculus (2001)
by
Martin Berger
,
Kohei Honda
,
Nobuko Yoshida
| Citations: | 26 - 15 self |
BibTeX
@MISC{Berger01sequentialityand,
author = {Martin Berger and Kohei Honda and Nobuko Yoshida},
title = {Sequentiality and the π-Calculus},
year = {2001}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We present a simple type discipline for the π-calculus which precisely captures the notion of sequential functional computation as a specific 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.
