Abstract:
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 
-calculus without
matching and investigate the properties of our encoding.
Available as PostScript, PDF, DVI.