How do you write pseudo-code for parallel programming? Especially, how do you differentiate local and shared variables? How do you represent operations like scatter, gather, reduce, broadcast, and point-to-point communications? Is there some standards about that?
I found at least one pseudolanguage for parallel programming: Peril-L. It is formal, but a little bit too low level for my taste.