文章基本信息

标题：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.