A Model for Concurrent Objects

Morten U. Sørensen

    Research output: Chapter in Book/Report/Conference proceedingArticle in proceedingsResearchpeer-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 languageEnglish
    Title of host publicationProc. of 7th Nordic Worshop on Programming Theory
    Place of PublicationGoteborg
    PublisherChalmers tekniska högskola
    Publication date1996
    Pages473-492
    Publication statusPublished - 1996
    Event7th Nordic Workshop on Programming Theory - Goteborg, Sweden
    Duration: 1 Nov 19953 Nov 1995

    Conference

    Conference7th Nordic Workshop on Programming Theory
    Country/TerritorySweden
    CityGoteborg
    Period01/11/199503/11/1995

    Cite this