Hi Josh:

In your coordination design/implementation, you view 
a coordinator to contain a set of sets of method names for
selfex and a set of sets of method names for mutex.
See: http://www.ccs.neu.edu/home/jayantha/UserManual/
chapter Coordination

Crista views a coordinator to contain a set of method names for selfex
and a set of sets of method names for mutex. In other words,
selfex is expressed by a set of method names and mutex by
a powerset of method names.

What was your rationale for the design decision to change the 
syntactic model?
In your case, all the selfex sets must be mutually disjoint per coordinator?

-- Karl