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 Duration: 1 Jan 1995 → …

Conference

Conference	7th Nordic Workshop on Programming Theory
City	Goteborg
Period	01/01/1995 → …

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-01-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 January 1995

ER -