Objects as Mobile Processes

Authors

  • Hans Hüttel
  • Josva Kleist

DOI:

https://doi.org/10.7146/brics.v3i38.20020

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.

Downloads

Published

1996-06-08

How to Cite

Hüttel, H., & Kleist, J. (1996). Objects as Mobile Processes. BRICS Report Series, 3(38). https://doi.org/10.7146/brics.v3i38.20020