A parallel extension of
Sather for a clustered
shared memory model. It features threads synchronised by
monitor objects ("gates");
locality assertions and
placement operators.
There is an implementation for the CM-5.
["pSather Monitors: Design, Tutorial, Rationale and
Implementation", J.A. Feldman et al, TR-91-031 and TR-93-028,
ICSI, Berkeley, CA].