Видел ли кто-нибудь классификацию(или хотя бы перечень) моделей параллельного программирования и их реализаций?( книги\статьи \диссертации\блоги\)

Только я имею ввиду именно модели программирования, а не классификацию параллельных архитектур (нпр. по Флинну — SIMD\MIMD\...).
Т.е. нпр:

• CSP Hoare\Ada rendezvous\Active object\Actors\Futures...
  
• Message Passing\Shared Memory
  
• Synchronous\Asynchronous
  
• Erlang-style\ConcurrentML-style\Ada-style\C#-style\MC#-style\...
  
• ...

При этом языков так или иначе поддерживающих параллелизм полно(и было и есть)... Думаю, что однородной(одномерной) классификации моделей может и не быть(слишком много критериев), в идеале, наверное, хотелось бы получить либо несколько одномерных классификаций(по одному критерию), либо многомерную.

На RSDN нашёл только вот это:
Цитата

Автор: Lazy Cjow Rhrr
Дата: 12.12.06

из Martin Odersky "Tackling Concurrency — Language or Library?"
Ссылка

Автор:
Дата: 13.07.06

на обзор курса по формальным моделям параллельного программирования.

Более менее что-то похожее на классификацию моделей нашёл в Птолемее, но там мало...

Единственное непосредственно по теме нашёл на citeseer — Models for Concurrency: Towards a Classification (1996), но уж больно громоздкая статья, конечно за неимением лучшего, начну с неё

Спасибо.

p.s. интерес больше теоретический(для обзора в бакалаврской работе нужно), хотя понятно, что модели — есть суть основа практического использования параллелизма(скажем для создания новых ЯП).
p.p.s
В Гугле\ http://citeseer.ist.psu.edu\ http://arxiv.org искал, доступа к IEEE Digital Lib и ACM к сожалению нет. Использовал следующие кейворды — classification|breakdown of concurrent|parallel programming models

У последовательного программирования были Тьюринг, Чёрч, частично-рекурсивные функции, а у параллельного что? Фига с маслом?