Book chapter
OA Policy
English

A Unifying Framework for Process Calculus Semantics of Concurrent Object-Based Languages and Features: working paper

Published inTsichritzis, Dionysios (Ed.), Object composition = Composition d'objets, p. 205-224
PublisherGenève : Centre universitaire d'informatique
Publication date1991
Abstract

A framework for the semantic description of concurrent object-oriented languages based on CCS is outlined. We discuss how the essential object-oriented features, such as encapsulation, object identity, classes, inheritance and concurrency are captured. Then, the proposed framework is used for defining the semantics of significantly different versions of a toy language which supports the above features. The ease with which the different versions of this language are accommodated provides some evidence for the applicability of the framework for a wide range of languages, as well as its usefulness for comparing different language designs and examining the interaction of a rich set of object-oriented features.

Citation (ISO format)
PAPATHOMAS, Michael. A Unifying Framework for Process Calculus Semantics of Concurrent Object-Based Languages and Features: working paper. In: Object composition = Composition d’objets. Tsichritzis, Dionysios (Ed.). Genève : Centre universitaire d’informatique, 1991. p. 205–224.
Main files (1)
Book chapter (Published version)
accessLevelPublic
Identifiers
  • PID : unige:158088
83views
15downloads

Technical informations

Creation01/18/2022 11:05:00 AM
First validation01/18/2022 11:05:00 AM
Update time03/16/2023 2:23:48 AM
Status update03/16/2023 2:23:47 AM
Last indexation11/01/2024 12:31:50 AM
All rights reserved by Archive ouverte UNIGE and the University of GenevaunigeBlack