文章基本信息
- 标题：Objects as Mobile Processes
- 本地全文：下载
- 作者：Hans Hüttel ; Josva Kleist
- 期刊名称：BRICS Report Series
- 印刷版ISSN：0909-0878
- 出版年度：1996
- 卷号：3
- 期号：38
- 出版社：Aarhus University
- 摘要：The object calculus of Abadi and Cardelli [AC96, AC94b, AC94a] is intended as model of central aspects of object-oriented programming languages. In this paper we encode the object calculus in the asynchronous pi-calculus without matching and investigate the properties of our encoding.
