Logo
LogoUniGeSES

ASG list of publications

Citation

Michael Papathomas, "A Unifying Framework for Process Calculus Semantics of Concurrent Object-Based Languages and Features", June, 1991

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

Bibtex

@unpublished{Papa91b,
Author = "Michael Papathomas",
Title = "A Unifying Framework for Process Calculus Semantics of Concurrent Object-Based Languages and Features",
Key = "olit-obc pcalc osg-ftp tr91 osg-book",
Notes = "",
Month = "June",
Year = "1991"
}
Additional credits :
© 2004-2006 Bibliography Tool based on Marc Falcone's bachelor project.