ion and polymorphism are also available to support concurrency. Such languages include Eiffel// [Caramel, 1990], POOL [America, 1987], ACT++ [Kafura, Lee, 1990], Java [Sun, 1995][Sun 1996], and ClassiC[Newman, Payne 1994][Newman 1995]. There are also languages in which the concurrent and object oriented extensions have been made in an orthogonal way, so that the two sets of constructs are separ...