Hi Crista:

The books Kedar brought resulted in a closely related find:
take a look at:

/proj/asl/lieber/synchronization-strategies/capsules.ps

One motivation behind capsules is untangling. Quote: (1989 paper):

With the exception of path expressions, synchronization 
conditions are intermingled with the code implementing the operations.
               ------------

Capsules specify the complement of what you do:
instead of starting with no constraints, they start with monitors
and then specify in a "par" part what is allowed to execute in parallel.

Capsules even have  a concept of refinement which you plan to add
to coordination objects.

Please take a close look at capsules and compare them with 
coordination objects.

This is going to be a comparison between Bell Labs and Xerox PARC
work (partially) and I think you will win.

-- Karl