An investigation into Functions as Processes (1993)
| Venue: | In Proc. Ninth International Conference on the Mathematical Foundations of Programming Semantics (MFPS'93 |
| Citations: | 8 - 1 self |
BibTeX
@INPROCEEDINGS{Sangiorgi93aninvestigation,
author = {Davide Sangiorgi},
title = {An investigation into Functions as Processes},
booktitle = {In Proc. Ninth International Conference on the Mathematical Foundations of Programming Semantics (MFPS'93},
year = {1993},
pages = {143--159},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. In [Mil90] Milner examines the encoding of the -calculus into the ß-calculus [MPW92]. The former is the universally accepted basis for computations with functions, the latter aims at being its counterpart for computations with processes. The primary goal of this paper is to continue the study of Milner's encodings. We focus mainly on the lazy -calculus [Abr87]. We show that its encoding gives rise to a -model, in which a weak form of extensionality holds. However the model is not fully abstract: To obtain full abstraction, we examine both the restrictive approach, in which the semantic domain of processes is cut down, and the expansive approach, in which -calculus is enriched with constants to obtain a direct characterisation of the equivalence on -terms induced, via the encoding, by the behavioural equivalence adopted on the processes. Our results are derived exploiting an intermediate representation of Milner's encodings into the Higher-Order ß-calculus, an !-order extension of ...
