DMCA
An Object Calculus for Asynchronous Communication (1991)
| Venue: | Proceedings of the European Conference on Object-Oriented Programming (ECOOP |
| Citations: | 388 - 34 self |
BibTeX
@INPROCEEDINGS{Honda91anobject,
author = {Kohei Honda and Mario Tokoro},
title = {An Object Calculus for Asynchronous Communication},
booktitle = {Proceedings of the European Conference on Object-Oriented Programming (ECOOP},
year = {1991},
pages = {133--147},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
This paper presents a formal system based on the notion of objects and asynchronous communication. Built on Milner's work on ß-calculus, the communication primitive of the formal system is purely asynchronous, which makes it unique among various concurrency formalisms. Computationally this results in a consistent reduction of Milner's calculus, while retaining the same expressive power. Seen semantically asynchronous communication induces a surprisingly different framework where bisimulation is strictly more general than its synchronous counterpart. This paper shows basic construction of the formal system along with several illustrative examples. 1 Introduction The formal system introduced in this paper is intended to accomplish two purposes. First, it provides a simple and rigorous formalism which encapsulates essential features of concurrent object-orientation [26, 25]. Being successful as a programming methodology for dynamic concurrent computing, its theoretical contents are far f...
Keyphrases
asynchronous communication formal system object calculus programming methodology essential feature communication primitive concurrent object-orientation dynamic concurrent computing consistent reduction rigorous formalism basic construction different framework synchronous counterpart several illustrative example expressive power theoretical content various concurrency formalism
