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

Issue

No. 38 (1996): RS-38 Objects as Mobile Processes

Section

Articles

License

Creative Commons License

Articles published in DAIMI PB are licensed under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.