pSather definition 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].