Conference paper
A Model for Concurrent Objects
In
Proc. of 7th Nordic Worshop on Programming Theory
—
1996, pp. 473-492
Abstract
We present a model for concurrent objects where obejcts interact by taking part in common events that are closely matched to form call-response pairs, resulting in resulting in rendez-vous like communications. Objects are built from primitive objects by parallel composition, encapsulation and hiding.
The behavour of a composite object is straightforwardly derived from the behavour of the constituent objects. Defining refinement as a strengthened form of trace inclusion, object composition and refinement togehter form a basis for step-wise development.
| Language: | English |
|---|---|
| Publisher: | Chalmers tekniska högskola |
| Year: | 1996 |
| Pages: | 473-492 |
| Proceedings: | 7th Nordic Workshop on Programming Theory |
| Types: | Conference paper |
