Objects as Mobile Processes (1996)
by
Hans Hüttel
,
Josva Kleist
| Venue: | RESEARCH SERIES RS-96-38, BRICS |
| Citations: | 11 - 4 self |
BibTeX
@INPROCEEDINGS{Hüttel96objectsas,
author = {Hans Hüttel and Josva Kleist},
title = {Objects as Mobile Processes},
booktitle = {RESEARCH SERIES RS-96-38, BRICS},
year = {1996},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
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.
