A Model for Concurrent Objects

Morten U. Sørensen

A Model for Concurrent Objects

Morten U. Sørensen

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

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.

Original language	English
Title of host publication	Proc. of 7th Nordic Worshop on Programming Theory
Place of Publication	Goteborg
Publisher	Chalmers tekniska högskola
Publication date	1996
Pages	473-492
Publication status	Published - 1996
Event	7th Nordic Workshop on Programming Theory - Goteborg, Sweden Duration: 1 Nov 1995 → 3 Nov 1995

Conference

Conference	7th Nordic Workshop on Programming Theory
Country/Territory	Sweden
City	Goteborg
Period	01/11/1995 → 03/11/1995

OpenUrl availability

Full text

Cite this

@inproceedings{3692226d7ae842328b457bda51b67d0e,

title = "A Model for Concurrent Objects",

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.",

author = "S{\o}rensen, {Morten U.}",

year = "1996",

language = "English",

pages = "473--492",

booktitle = "Proc. of 7th Nordic Worshop on Programming Theory",

publisher = "Chalmers tekniska h{\"o}gskola",

address = "Sweden",

note = "7th Nordic Workshop on Programming Theory ; Conference date: 01-11-1995 Through 03-11-1995",

}

TY - GEN

T1 - A Model for Concurrent Objects

AU - Sørensen, Morten U.

PY - 1996

Y1 - 1996

N2 - 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.

AB - 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.

M3 - Article in proceedings

SP - 473

EP - 492

BT - Proc. of 7th Nordic Worshop on Programming Theory

PB - Chalmers tekniska högskola

CY - Goteborg

T2 - 7th Nordic Workshop on Programming Theory

Y2 - 1 November 1995 through 3 November 1995

ER -