|(language)||pSather - A parallel extension of Sather for a clustered
shared memory model. It features threads synchronised by
monitor objects ("gates"); locality assertions and
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].