We have proposed an alteration of the framework of statically
typed object orientation to support distribution without compromising
with either type safety or seamless extendibility, both of which are
essential components of a coherent strategy to support incremental
development. The key of this alteration is the support for
asynchronous interactions between objects.
This framework may be implemented in C++, and possibly in other
object-oriented languages. It is therefore applicable as such to the
solution of concrete problems.
We did not cover the details of such an implementation in this
paper, disclosing only certain cases were the limitations set by the
language would appeal for work around, and apparent complexity. We
claim, however, that this complexity is "accidental" and not
"essential".