Year: 1996
Type: article
Abstract: 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.
Source: BRICS Report Series
Authors: Hans Hüttel, Josva Kleist
Institution: Aalborg University
Language: English
Subfield: Software
Field: Computer Science
Domain: Physical Sciences
Open Access status: hybrid
OpenAlex ID: W1911052812