Titlebook: Object-Based Concurrent Computing; ECOOP ‘91 Workshop, M. Tokoro,O. Nierstrasz,P. Wegner Conference proceedings 1992 Springer-Verlag Berli

Fibroid

培養(yǎng)

單挑

Hormones

Conference proceedings 1992asis was on conceptual,theoretical and formal aspects, as well aspractical aspectsand sound experience, since such a viewpoint wasdeemedindispensible to investigate and establish a basis forfuturedevelopment.This volume contains 12 papers selected from 25 presentedatthe workshop, together with a pap

AGATE

Towards an object calculus, relevant work in the area of process calculi. To this end, we briefly review some of this work, we pose some informal requirements for an object calculus, and we present the syntax, operational semantics and use through examples of a proposed object calculus, called OC.

BLUSH

揮舞

無關緊要

Formal techniques for parallel object-oriented languages,parallel object-oriented programs. Finally we survey the techniques that we are currently developing to describe the behaviour of objects independently of their implementation, leading to linguistic support for behavioural subtyping.

Commodious

A concurrency control mechanism for C++ objects,en an extension to the language and a code server. The language extension is discussed in regard to inheritance and component reusability. An implementation on a multiprocessor architecture is outlined.

BIAS