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

    Conference

    Conference7th Nordic Workshop on Programming Theory
    CityGoteborg
    Period01/01/1995 → …

    Cite this