PSather
<language> 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].