An investigation into functions as processes (1993) [7 citations — 1 self]
Popular Tags
No tags have been applied to this document.
BibTeX | Add To MetaCart
@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
Abstract:
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 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-calculus where also agents may be transmitted. For this, essential use is made of the fully abstract compilation from the Higher-Order-calculus to the-calculus studied in [San92a].
