Objects as Mobile Processes

Hans Hüttel
Josva Kleist

October 1996


The object calculus of Abadi and Cardelli is intended as model of central aspects of object-oriented programming languages. In this paper we encode the object calculus in the asynchronous tex2html_wrap_inline19 -calculus without matching and investigate the properties of our encoding.

Available as PostScript, PDF, DVI.


Last modified: 2003-06-08 by webmaster.