Abstract
A general approach is proposed for transforming objects to methods on the fly in the framework of the π-calculus. The power of the approach is demonstrated by applying it to generate an encoding of the full lambda calculus in the π-calculus. The encoding is proved to preserve and reflect beta reduction, and is shown to be fully abstract with respect to Abramsky's applicative bisimilarity.
Publisher
Cambridge University Press (CUP)
Subject
Computer Science Applications,Mathematics (miscellaneous)
Cited by
6 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines;Logical Methods in Computer Science;2024-07-03
2. Remark on Some $$\pi $$ Variants;Dependable Software Engineering. Theories, Tools, and Applications;2017
3. Theory of interaction;Theoretical Computer Science;2016-01
4. Non-deterministic structures of computation;Mathematical Structures in Computer Science;2014-11-10
5. Static Semantics of Secret Channel Abstractions;Secure IT Systems;2014