A Calculus for Concurrent Objects (1996)
| Venue: | Proceedings of the 7th International Conference on Concurrency Theory (CONCUR '96), LNCS 1119 |
| Citations: | 40 - 2 self |
BibTeX
@INPROCEEDINGS{Blasio96acalculus,
author = {Paolo Di Blasio and Kathleen Fisher},
title = {A Calculus for Concurrent Objects},
booktitle = {Proceedings of the 7th International Conference on Concurrency Theory (CONCUR '96), LNCS 1119},
year = {1996},
pages = {655--670},
publisher = {Springer}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
. This paper presents an imperative and concurrent extension of the functional object-oriented calculus described in [FHM94]. It belongs to the family of so-called prototype-based object-oriented languages, in which objects are created from existing ones via the inheritance primitives of object extension and method override. Concurrency is introduced through the identification of objects and processes. To our knowledge, the resulting calculus is the first concurrent object calculus to be studied. We define an operational semantics for the calculus via a transition relation between configurations, which represent snapshots of the run-time system. Our static analysis includes a type inference system, which statically detects message-not-understood errors, and an effect system, which guarantees that synchronization code, specified via guards, is side-effect free. We present a subject reduction theorem, modified to account for imperative and concurrent features, and type and effect soundne...
