Tom Mens. A survey on formal models for OO. Technical Report vubtinf -tr-94-03, Department of Computer Science, Vrije Universiteit Brussel, Belgium, 1994. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Synchronizing Concurrent Objects in the pi-Calculus - Schneider, Lumpe (1997) (1 citation) (Correct)
....# calculus, object models, synchronization, reflection. 1. Introduction The development of concurrent object based programming languages has su#ered from the lack of any generally accepted formal foundation for defining their semantics, although several formal models have been presented (see [Men94] for a summary) We are, therefore, seeking for a minimal semantic foundation for defining features of concurrent object based languages which can also be used for modelling components [NSL96] It is our goal to define a black box framework for experimenting with di#erent object and component ....
Tom Mens. A survey on formal models for OO. Technical Report vubtinf -tr-94-03, Department of Computer Science, Vrije Universiteit Brussel, Belgium, 1994.
Synchronizing Concurrent Objects in the pi-Calculus - Schneider, Lumpe (1997) (1 citation) (Correct)
.... calculus, object models, synchronization, reflection. 1. Introduction The development of concurrent object based programming languages has suffered from the lack of any generally accepted formal foundation for defining their semantics, although several formal models have been presented (see [Men94] for a summary) We are, therefore, seeking for a minimal semantic foundation for defining features of concurrent object based languages which can also be used for modelling components [NSL96] It is our goal to define a black box framework for experimenting with different object and component ....
Tom Mens. A survey on formal models for OO. Technical Report vubtinf -tr-94-03, Department of Computer Science, Vrije Universiteit Brussel, Belgium, 1994.
Modelling Objects in PICT - Schneider, Lumpe (1996) (Correct)
....support the definition and use of concurrent components. According to [Nie92] the development of concurrent object based programming languages has suffered from the lack of any generally accepted formal foundation for defining their semantics. Several formal models have been presented (refer to [Men94] for a summary) but none of them has been used as a formal basis for modelling software composition. Unfortunately it is not clear, what kind of formal model is suitable for software composition. Therefore we have to define and implement several models, which need to be evaluated. The calculus ....
Tom Mens. A survey on formal models for OO. Technical Report vub-tinf-tr94 -03, Department of Computer Science, Vrije Universiteit Brussel, Belgium, 1994. 26 Modelling Objects in PICT
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC